aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index aedc5dffb..d5bf15543 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -18,6 +18,7 @@ Fabian Oehlmann
18Florian Dold <florian.dold@gmail.com> 18Florian Dold <florian.dold@gmail.com>
19Gabor X Toth <tg-x.net> 19Gabor X Toth <tg-x.net>
20LRN <lrn1986@gmail.com> 20LRN <lrn1986@gmail.com>
21Marcello Stanisci <marcello.stanisci@inria.fr>
21Martin Schanzenbach <mschanzenbach@posteo.de> 22Martin Schanzenbach <mschanzenbach@posteo.de>
22Matthias Wachs <wachs@net.in.tum.de> 23Matthias Wachs <wachs@net.in.tum.de>
23Maximilian Szengel <gnunet@maxsz.de> 24Maximilian Szengel <gnunet@maxsz.de>