Skip to content

Remove spastorino as "on vacation"#115768

Merged
bors merged 1 commit into
rust-lang:masterfrom
spastorino:remove-spastorino-vacations
Sep 12, 2023
Merged

Remove spastorino as "on vacation"#115768
bors merged 1 commit into
rust-lang:masterfrom
spastorino:remove-spastorino-vacations

Commits

Commits on Sep 11, 2023