fix cross-crate destructor inlining#10242
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 3, 2013
thestinger:inline_dtor
Merged
fix cross-crate destructor inlining#10242bors merged 1 commit intorust-lang:masterfrom thestinger:inline_dtor
bors merged 1 commit intorust-lang:masterfrom
thestinger:inline_dtor
