Merge pull request rust-lang#2022 from jsosthoff/master#6

Merged

fengjixuchui merged 4 commits intofengjixuchui:masterfrom rust-lang:master

Oct 28, 2019

+6-6

Commits on Jul 9, 2019

Commits on Oct 25, 2019

Merge pull request #2020 from UnHumbleBen/patch-1
steveklabnik
authored

Commits on Oct 28, 2019

Merge pull request #2022 from jsosthoff/master
steveklabnik
authored