Skip to content

Add spastorino to users_on_vacation#119249

Merged
bors merged 1 commit intorust-lang:masterfrom
spastorino:add-spastorino-to-vacation
Dec 23, 2023
Merged

Add spastorino to users_on_vacation#119249
bors merged 1 commit intorust-lang:masterfrom
spastorino:add-spastorino-to-vacation

Commits

Commits on Dec 23, 2023