Merge my contributor emails into one using mailmap#122873

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

badboy:mailmap-mail-mergebadboy/rust:mailmap-mail-mergeCopy head branch name to clipboard