]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 26f2d8e 52b717f)
Rollup merge of #80203 - pierwill:pierwill-rustcmiddle-lint, r=oli-obk
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Tue, 22 Dec 2020 23:13:33 +0000 (00:13 +0100)
committerGitHub <noreply@github.com>
Tue, 22 Dec 2020 23:13:33 +0000 (00:13 +0100)
Edit rustc_middle::lint::LintSource docs

Edit punctuation in doc comment for [rustc_middle::lint::LintSource::CommandLine](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/lint/enum.LintSource.html#variant.CommandLine).


Trivial merge
Empowering everyone to build reliable and efficient software.