Update AUTHORS file

diff --git a/AUTHORS b/AUTHORS
index 41b8a961bb0898be7a2038a6b568aec93b964787..20f5b3d3ba877987fa2ef0c4d46efec553efe185 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -140,6 +140,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>