]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 876d6d8 6c18811)
Merge pull request #2254 from LaurentMazare/master
authorOliver Schneider <oli-obk@users.noreply.github.com>
Fri, 1 Dec 2017 20:07:11 +0000 (21:07 +0100)
committerGitHub <noreply@github.com>
Fri, 1 Dec 2017 20:07:11 +0000 (21:07 +0100)
Avoid the MATCH_SAME_ARMS warning when two arms are separated by an arm with a guard


Trivial merge
Empowering everyone to build reliable and efficient software.