Skip to content

Stabilize box_into_pin#97397

Merged
bors merged 1 commit intorust-lang:masterfrom
JohnTitor:stabilize-box-into-pin
Jun 2, 2022
Merged

Stabilize `box_into_pin`#97397
bors merged 1 commit intorust-lang:masterfrom
JohnTitor:stabilize-box-into-pin

Commits

Commits on Jun 1, 2022