update AUTHORS

diff --git a/AUTHORS b/AUTHORS
index 5dddd606e376e69e3e2cc4bc86c9dc0f0dc43153..2c855800e2d6f5c6d106e10c7deb4c4b201178bc 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,5 +1,7 @@
 Primary developers (0.9.x series):
+Bart Polot <bart@net.in.tum.de>
 Christian Grothoff <christian@grothoff.org>
+David Brodski
 Heikki Lindholm <holin@iki.fi>
 LRN <lrn1986@gmail.com>
 Matthias Wachs <wachs@net.in.tum.de>