]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: acdf83f 8921535)
Merge remote-tracking branch 'origin/master' into miri
authorOliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Wed, 6 Dec 2017 08:30:17 +0000 (09:30 +0100)
committerOliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Wed, 6 Dec 2017 08:30:17 +0000 (09:30 +0100)

Trivial merge
Empowering everyone to build reliable and efficient software.