Skip to content

Remove uses of pin_project::project attribute#165

Merged
jonhoo merged 1 commit intomit-pdos:masterfrom taiki-e:pin-projectJun 6, 2020
+13-23

Commits

Commits on Jun 6, 2020