]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1413 - RalfJung:catch_with_exit_code, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 16 May 2020 09:30:49 +0000 (09:30 +0000)
committerbors <bors@rust-lang.org>
Sat, 16 May 2020 09:30:49 +0000 (09:30 +0000)
commit70b66aa0079173f723ea065d216e39aca7d0a6e2
tree350b42155cb9205f3a1e9918b369346e3a8be167
parentc54eab4a2849acd141ba8ad86103cc12685b1a98
parente0f9081c5cdcf21d3e02c1e31bac5a5d95a4c581
Auto merge of #1413 - RalfJung:catch_with_exit_code, r=RalfJung

use new rustc_driver::catch_with_exit_code