Auto merge of #5124 - flip1995:backport_back_merge, r=flip1995 · rust-lang-ci/rust@d33c603 · GitHub

Commit

Auto merge of rust-lang#5124 - flip1995:backport_back_merge, r=flip1995

Browse files

Merge backport branch back into master

Merge back backport branch rust-1.42.0 into master.

Waiting on rust-lang#68753

changelog: none

Loading branch information

bors committed Feb 4, 2020

2 parents 536c255 + 096b2b8 commit d33c603