updated AUTHORS with latest mailmap

[kosack]

ran "git authors" to generate a new version

The new author list now has the correct emails for everyone

[maxnoe]

git: 'authors' is not a git command. See 'git --help'.

What exactly did you do?

[codecov]

Codecov Report

❗ No coverage uploaded for pull request base (master@b831f8c). Click here to learn what that means.
The diff coverage is n/a.

@@            Coverage Diff            @@
##             master    #1107   +/-   ##
=========================================
  Coverage          ?   84.35%           
=========================================
  Files             ?      182           
  Lines             ?    11242           
  Branches          ?        0           
=========================================
  Hits              ?     9483           
  Misses            ?     1759           
  Partials          ?        0

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update b831f8c...61a0763. Read the comment docs.

[codecov]

Codecov Report

❗ No coverage uploaded for pull request base (master@b831f8c). Click here to learn what that means.
The diff coverage is n/a.

@@            Coverage Diff            @@
##             master    #1107   +/-   ##
=========================================
  Coverage          ?   84.35%           
=========================================
  Files             ?      182           
  Lines             ?    11242           
  Branches          ?        0           
=========================================
  Hits              ?     9483           
  Misses            ?     1759           
  Partials          ?        0

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update b831f8c...61a0763. Read the comment docs.

[kosack]

What exactly did you do?

rm AUTHORS
git authors

That's basically it (without the rm it tries to merge the authorlist with the previous version)

NAME
       git-authors - Generate authors report

SYNOPSIS
       git-authors [-l, --list] [--no-email]

DESCRIPTION
       Populates the file matching authors|contributors -i with the authors of commits, accord-
       ing to the number of commits per author. Opens the file in $EDITOR when set.

       See the "MAPPING AUTHORS" section of git-shortlog(1) to coalesce together commits by the
       same person.

[kosack]

(it's part of the git-extras package in case you don't have it)

[maxnoe]

(it's part of the git-extras package in case you don't have it)

That was the missing information, thanks!