]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #69393 - Dylan-DPC:rollup-rxbd1zg, r=Dylan-DPC
authorbors <bors@rust-lang.org>
Sun, 23 Feb 2020 19:26:35 +0000 (19:26 +0000)
committerbors <bors@rust-lang.org>
Sun, 23 Feb 2020 19:26:35 +0000 (19:26 +0000)
Rollup of 5 pull requests

Successful merges:

 - #69336 (Do not ping the infrastructure team on toolstate changes)
 - #69351 (Improve external MinGW detection)
 - #69361 (parse: allow `type Foo: Ord` syntactically)
 - #69375 (Rename CodeMap to SourceMap follow up)
 - #69376 (parser: Cleanup `Parser::bump_with` and its uses)

Failed merges:

r? @ghost

1  2 
src/librustc_session/parse.rs

Simple merge