From 39f6950ec4875bcf6c80b63f724327cdc6a692e5 Mon Sep 17 00:00:00 2001
From: Mathis <mathis.engelbart@gmail.com>
Date: Thu, 9 Nov 2023 09:25:19 +0000
Subject: [PATCH] Update AUTHORS.txt

---
 AUTHORS.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/AUTHORS.txt b/AUTHORS.txt
index d74a1137..a1403d53 100644
--- a/AUTHORS.txt
+++ b/AUTHORS.txt
@@ -19,6 +19,7 @@ Juliusz Chroboczek <jch@irif.fr>
 Konstantin Itskov <konstantin.itskov@kovits.com>
 Lukas Herman <lherman.cs@gmail.com>
 Luke Curley <lcurley@twitch.tv>
+Mathis <mathis.engelbart@gmail.com>
 Mathis Engelbart <mathis.engelbart@gmail.com>
 Michael MacDonald <github@macdonald.cx>
 Michael Tuexen <tuexen@fh-muenster.de>