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 <[email protected]>
 Ethan Romba <[email protected]> <[email protected]>
 EungJun Yi <[email protected]>
 Eyal Kobrigo <[email protected]>
+Felix Nagel <[email protected]> <[email protected]>
 Filippo Cavallarin <[email protected]> <[email protected]>
 Florian Gutmann <[email protected]> <[email protected]>
 Genie <[email protected]>

diff --git a/AUTHORS.txt b/AUTHORS.txt
@@ -363,3 +363,5 @@ sakshi87 <[email protected]>
 Mikolaj Wolicki <[email protected]>
 Patrick McKay <[email protected]>
 c-lambert <[email protected]>
+Josep Sanz <[email protected]>
+Ben Mullins <[email protected]>