Skip to content

Remove pin_project! macro and add #[pinned_drop] attribute#33

Merged
bors[bot] merged 1 commit intomasterfrom
pinned-drop
Aug 10, 2019
Merged

Remove pin_project! macro and add #[pinned_drop] attribute#33
bors[bot] merged 1 commit intomasterfrom
pinned-drop

Commits

Commits on Aug 10, 2019