]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #13 from rust-lang/master
authorBaoshan <pangbw@gmail.com>
Mon, 2 Sep 2019 00:52:09 +0000 (17:52 -0700)
committerGitHub <noreply@github.com>
Mon, 2 Sep 2019 00:52:09 +0000 (17:52 -0700)
sync with rust-lang/rust


Trivial merge