summaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index e490ab4d38..2c89d46fc6 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -4235,6 +4235,7 @@ T. Scholz <scholzt234[AT]googlemail.com>
Tatsuhiro Tsujikawa <tatsuhiro.t[AT]gmail.com>
Thibault Gerondal <github[AT]tycale.be>
Thies Moeller <thies.moeller[AT]baslerweb.com>
+Thomas Klausner <tk[AT]giga.or.at>
Thomas Portassau <thomas.portassau[AT]hotmail.fr>
Thomas Shen <thomashen[AT]gmail.com>
Tigran Mkrtchyan <tigran.mkrtchyan[AT]desy.de>