Update AUTHORS file

diff --git a/AUTHORS b/AUTHORS
index ecda3fb609786d7aff829a38d41fc7ccf3558792..f0f5531538a0a8da36556a68f0183bd749b35e28 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -144,6 +144,7 @@ Franklin Chen <chen@adi.com>
 Fred Gilham <gilham@csl.sri.com>
 Fred Stearns
 Friedrich Dominicus <friedrichdominicus@googlemail.com>
+Gabor Drescher <gabor.drescher@cs.fau.de>
 Gary Leavens <leavens@eecs.ucf.edu>
 Geoff Norton <grompf@sublimeintervention.com>
 George Talbot <Gtalbot@ansarisbio.com>