Skip to content

Fix raw_pointer_derive warning#340

Merged
homu merged 1 commit intonix-rust:masterfrom
kamalmarhubi:allow-raw-pointer-derive-warning
Apr 2, 2016
Merged

Fix raw_pointer_derive warning#340
homu merged 1 commit intonix-rust:masterfrom
kamalmarhubi:allow-raw-pointer-derive-warning

Commits

Commits on Apr 2, 2016