Skip to content

Remove spastorino from vacations#141616

Merged
bors merged 1 commit intorust-lang:masterfrom
spastorino:remove-spastorino-on-vacations
May 27, 2025
Merged

Remove spastorino from vacations#141616
bors merged 1 commit intorust-lang:masterfrom
spastorino:remove-spastorino-on-vacations

Commits

Commits on May 26, 2025