Skip to content

Rename #[no_drop_flag] to #[unsafe_no_drop_flag]#7433

Closed
poiru wants to merge 1 commit intorust-lang:masterfrom
poiru:issue-7428
Closed

Rename #[no_drop_flag] to #[unsafe_no_drop_flag]#7433
poiru wants to merge 1 commit intorust-lang:masterfrom
poiru:issue-7428

Commits

Commits on Jun 27, 2013