Skip to content

Update contributor name in .mailmap#58169

Merged
bors merged 1 commit intorust-lang:masterfrom
boringcactus:patch-1
Feb 5, 2019
Merged

Update contributor name in .mailmap#58169
bors merged 1 commit intorust-lang:masterfrom
boringcactus:patch-1

Commits

Commits on Feb 4, 2019