]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c5fa86d e91b013)
Merge pull request #2240 from Frederick888/fix-2239
authorOliver Schneider <oli-obk@users.noreply.github.com>
Tue, 21 Nov 2017 07:12:35 +0000 (08:12 +0100)
committerGitHub <noreply@github.com>
Tue, 21 Nov 2017 07:12:35 +0000 (08:12 +0100)
Fixes #2239


Trivial merge
Empowering everyone to build reliable and efficient software.