Rollup merge of #142972 - tgross35:dwood-mailmap, r=davidtwco

Add a missing mailmap entry

There aren't too many commits with the new emails, but per https://github.com/rust-lang/rust/pull/142470#issuecomment-3000079137 they belong to the same person so we may as well map them.