]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #1804 from camsteffen/never_loop
authorOliver Schneider <oli-obk@users.noreply.github.com>
Mon, 12 Jun 2017 06:08:19 +0000 (08:08 +0200)
committerGitHub <noreply@github.com>
Mon, 12 Jun 2017 06:08:19 +0000 (08:08 +0200)
fix never_loop


Trivial merge