diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2014-01-17 12:04:08 +0100 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-01-17 12:04:08 +0100 |
| commit | 8af364e7702d6949a92399d5e6965a83e06b9866 (patch) | |
| tree | e29171f4a647e63256f3bd363c859b71d7a1c77e /coq-win32.itarget | |
| parent | f5d7b2b1eda550f5bf0965286d449112acbbadde (diff) | |
Update .mailmap with recent contributors.
I should have updated everyone who committed since the migration to git (giving me a canonical email).
I've search git shortlog -s to ensure the best I could that there are no duplicate. I discovered that email addresses from the mailmap are uncapitalised whereas the unmodified addresses are not, creating two different authors for no reason. So, I've added some record to normalise the canonical email addresses when needed.
Diffstat (limited to 'coq-win32.itarget')
0 files changed, 0 insertions, 0 deletions