Skip to content

Add spastorino to mailmap#114705

Merged
bors merged 1 commit intorust-lang:masterfrom
spastorino:add-spastorino-mailmap
Aug 11, 2023
Merged

Add spastorino to mailmap#114705
bors merged 1 commit intorust-lang:masterfrom
spastorino:add-spastorino-mailmap

Commits

Commits on Aug 10, 2023