]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #1 from rust-lang/master
authoroliver-giersch <oliver.giersch@googlemail.com>
Sat, 13 Oct 2018 15:39:37 +0000 (17:39 +0200)
committerGitHub <noreply@github.com>
Sat, 13 Oct 2018 15:39:37 +0000 (17:39 +0200)
sync fork with upstream (master)


Trivial merge