From 714a6de81bd90110262208d0b1e7b9cb6d01828f Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 31 Oct 2011 17:53:40 +0000
Subject: [PATCH] update AUTHORS

---
 AUTHORS | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/AUTHORS b/AUTHORS
index 5dddd606e..2c855800e 100644
--- 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>
-- 
2.25.1