]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #86957 - jhpratt:update-mailmap, r=jyn514
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Thu, 8 Jul 2021 16:30:40 +0000 (18:30 +0200)
committerGitHub <noreply@github.com>
Thu, 8 Jul 2021 16:30:40 +0000 (18:30 +0200)
commit58be639142e4a77544c9817a564d75251396286c
tree6273170a1622bafaa260b57aaa8f98a9b645c4a0
parente30eb4d1a2a59ab5a6c2b12a17a1a32b79e9cb44
parentbd674b1e0b45a52aaf2dfdeed829d7d45f211a74
Rollup merge of #86957 - jhpratt:update-mailmap, r=jyn514

Update .mailmap file
.mailmap