Skip to content

Add spastorino on vacation#115456

Merged
bors merged 1 commit intorust-lang:masterfrom
spastorino:spastorino-vacation
Sep 2, 2023
Merged

Add spastorino on vacation#115456
bors merged 1 commit intorust-lang:masterfrom
spastorino:spastorino-vacation

Commits

Commits on Sep 1, 2023