gwenn 2d0175b7dd Fix warning with Rust 1.6
warning: lint raw_pointer_derive has been removed: using derive with raw
pointers is ok
2016-02-01 18:41:52 +01:00
..
2016-02-01 18:41:52 +01:00