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
jquery · Jan 15, 2022 · 4a7cec3 · 4a7cec3
1 parent 933ce5d
commit 4a7cec3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git 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
@@ -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>