Skip to content

Fix Pietro's entry in the mailmap#123872

Merged
bors merged 1 commit intorust-lang:masterfrom tgross35:fix-mailmapApr 13, 2024

Commits

Commits on Apr 12, 2024