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
bors merged 1 commit intorust-lang:masterfrom
