]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #10242 : thestinger/rust/inline_dtor, r=alexcrichton
authorbors <bors@rust-lang.org>
Sun, 3 Nov 2013 06:26:00 +0000 (23:26 -0700)
committerbors <bors@rust-lang.org>
Sun, 3 Nov 2013 06:26:00 +0000 (23:26 -0700)
Closes #7793

1  2 
src/librustc/middle/trans/base.rs

Simple merge