Rename raw_pointer_deriving lint to raw_pointer_derive#20511
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 6, 2015
Merged
Rename raw_pointer_deriving lint to raw_pointer_derive#20511bors merged 1 commit intorust-lang:masterfrom
raw_pointer_deriving lint to raw_pointer_derive#20511bors merged 1 commit intorust-lang:masterfrom
