Skip to content

Add bots to .mailmap#105079

Merged
bors merged 2 commits intorust-lang:masterfrom nnethercote:bots-mailmapNov 30, 2022

Commits

Commits on Nov 30, 2022