Use a single ptr::drop_in_place call instead of a loop#100
Merged
bors-servo merged 1 commit intoservo:masterfrom Jun 6, 2018
Merged
Use a single ptr::drop_in_place call instead of a loop#100bors-servo merged 1 commit intoservo:masterfrom
bors-servo merged 1 commit intoservo:masterfrom
