Skip to content

Update mailmap#115702

Merged
bors merged 1 commit intorust-lang:masterfrom
jonas-schievink:update-mailmap
Sep 11, 2023
Merged

Update mailmap#115702
bors merged 1 commit intorust-lang:masterfrom
jonas-schievink:update-mailmap

Commits

Commits on Sep 9, 2023