Build: Add Felix to .mailmap, update AUTHORS.txt

Beyond the `AUTHORS.txt` changes, this accounts for a recent email change in
one of the commits.

Closes gh-2039

diff --git a/.mailmap b/.mailmap
index f09e2953313718336d3e7e7264f2ac32772a587e..867c841da1dc9db18a2e8fa6a92fbda81938fd91 100644 (file)
--- a/.mailmap
+++ b/.mailmap
@@ -34,6 +34,7 @@ Eric Hynds <eric@hynds.net>
 Ethan Romba <ethanromba@gmail.com> <ethan.romba@parivedasolutions.com>
 EungJun Yi <semtlenori@gmail.com>
 Eyal Kobrigo <kobrigo@hotmail.com>
+Felix Nagel <info@felixnagel.com> <fnagel@users.noreply.github.com>
 Filippo Cavallarin <filippo.cavallarin@codseq.it> <poplix@papuasia.org>
 Florian Gutmann <f.gutmann@chronimo.com> <blackfeet@gmx.at>
 Genie <386@mail.com>

diff --git a/AUTHORS.txt b/AUTHORS.txt
index 4b92a88b43512deaa21e5dd8d2752ff4a761fb11..2fcf89acccc00ff9d2a4ff6a5aaa684cc0400a1b 100644 (file)
--- a/AUTHORS.txt
+++ b/AUTHORS.txt
@@ -363,3 +363,5 @@ sakshi87 <53863764+sakshi87@users.noreply.github.com>
 Mikolaj Wolicki <wolicki.mikolaj@gmail.com>
 Patrick McKay <patrick.mckay@vumc.org>
 c-lambert <58025159+c-lambert@users.noreply.github.com>
+Josep Sanz <josepsanzcamp@gmail.com>
+Ben Mullins <benm@umich.edu>