]> git.lizzy.rs Git - rust.git/commitdiff
Merge remote-tracking branch 'upstream/rust-1.42.0' into backport_back_merge
authorflip1995 <hello@philkrones.com>
Sat, 1 Feb 2020 23:40:56 +0000 (00:40 +0100)
committerflip1995 <hello@philkrones.com>
Sat, 1 Feb 2020 23:40:56 +0000 (00:40 +0100)

Trivial merge