]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #1784 from birkenfeld/update
authorGeorg Brandl <georg@python.org>
Fri, 26 May 2017 18:23:57 +0000 (20:23 +0200)
committerGitHub <noreply@github.com>
Fri, 26 May 2017 18:23:57 +0000 (20:23 +0200)
Demote never_loop lint to Allow for now


Trivial merge