Merge duplicates in .mailmap

I gave preference to the email address with the larger number of
commits.

To find duplicates, I used the script
```bash
for i in $(git shortlog -nse  | sed s'/^\s*[0-9]*\s*//g' | grep -o '^[^<]*' | sed s'/\s*$//g' | sed s'/ /,/g'); do if [ $(git shortlog -nse | sed s'/ /,/g' | grep -c "$i") -gt 1 ]; then git shortlog -nse | grep "$(echo "$i" | sed s'/,/ /g')"; fi; done
```

0 files changed, 0 insertions, 0 deletions