Skip to content

Stabilize box_into_pin#97397

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

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

Stabilize `box_into_pin`

572c390
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs