mozilla/rust — pull request #7433 by poiru (2013-06-27 17:49:55+00:00)
Title: Rename #[no_drop_flag] to #[unsafe_no_drop_flag]

This closes #7428.

cc @thestinger