From bd1c7874f0724653baf3bd8d9e74540d14e67689 Mon Sep 17 00:00:00 2001
From: Karl F <karlfogel@gmail.com>
Date: Fri, 22 Jan 2016 19:07:21 +0100
Subject: [PATCH] Update forgotten author, as mentioned in #3589

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

diff --git a/AUTHORS.txt b/AUTHORS.txt
index 4b3f036fb..7baf2050c 100644
--- a/AUTHORS.txt
+++ b/AUTHORS.txt
@@ -25,6 +25,7 @@ The Pioneer Developers are:
 * Chris Collins
 * Chris Dennett
 * Christian Koch
+* Claudius Mueller
 * Connor Findlay
 * Craig Thomson
 * Dan Bennett