]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: dd11ffa 7499cb5)
Merge pull request #3127 from mikerite/fix-2937
authormikerite <33983332+mikerite@users.noreply.github.com>
Thu, 11 Oct 2018 04:22:02 +0000 (06:22 +0200)
committerGitHub <noreply@github.com>
Thu, 11 Oct 2018 04:22:02 +0000 (06:22 +0200)
Fix 2937


Trivial merge
Empowering everyone to build reliable and efficient software.