]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #2251 from LaurentMazare/master
authorOliver Schneider <oli-obk@users.noreply.github.com>
Thu, 30 Nov 2017 09:53:48 +0000 (10:53 +0100)
committerGitHub <noreply@github.com>
Thu, 30 Nov 2017 09:53:48 +0000 (10:53 +0100)
Add a couple small tests to the match-same-arm lint + fix a small issue in search_same.


Trivial merge