Skip to content

Remove spastorino from SMIR#127521

Merged
bors merged 1 commit intorust-lang:masterfrom
spastorino:remove-myself-from-smir-pings
Jul 10, 2024
Merged

Remove spastorino from SMIR#127521
bors merged 1 commit intorust-lang:masterfrom
spastorino:remove-myself-from-smir-pings

Commits

Commits on Jul 9, 2024