]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e121305 918f70f)
Rollup merge of #55799 - pnkfelix:remove-useless-revisions-marker-from-lint-unused...
authorPietro Albini <pietro@pietroalbini.org>
Sat, 10 Nov 2018 23:21:15 +0000 (00:21 +0100)
committerGitHub <noreply@github.com>
Sat, 10 Nov 2018 23:21:15 +0000 (00:21 +0100)
Removed unneeded instance of `// revisions` from a lint test

Removed an unneeded instance of `// revisions`; the compare-mode=nll shows the output is identical now.

cc #54528


Trivial merge
Empowering everyone to build reliable and efficient software.