]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #10244 : thestinger/rust/abort, r=alexcrichton
authorbors <bors@rust-lang.org>
Sun, 3 Nov 2013 07:46:01 +0000 (00:46 -0700)
committerbors <bors@rust-lang.org>
Sun, 3 Nov 2013 07:46:01 +0000 (00:46 -0700)
The function is marked `noreturn`, so it shouldn't have this.


Trivial merge