From 50f78d522de4e7bfe75b663df8b0759a27b1e38f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20Go=C5=82=C4=99biowski-Owczarek?=
 <m.goleb@gmail.com>
Date: Fri, 14 Jan 2022 15:23:21 +0100
Subject: [PATCH] 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.
---
 .mailmap    | 1 +
 AUTHORS.txt | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/.mailmap b/.mailmap
index f09e2953313..867c841da1d 100644
--- 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 4b92a88b435..2fcf89acccc 100644
--- 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>