mozilla/rust — pull request #10242 by thestinger (2013-11-03 03:55:53+00:00)
Title: fix cross-crate destructor inlining

Closes #7793