Update AUTHORS file

diff --git a/AUTHORS b/AUTHORS
index 46a7d70f1af0473ca05586ad8b1c6281d94ca7dc..2df0acc622cf66ecff61fa7e6fdce40fc3c4c31b 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -67,6 +67,7 @@ Brian Burton
 Brian D. Carlstrom <bdc@clark.lcs.mit.edu>
 Brian F. Dennis <xjam@cork.cs.berkeley.edu>
 Brian Lewis <btlewis@eng.sun.com>
+Bruce Hoult <bruce@hoult.org>
 Bruce Mitchener <bruce.mitchener@gmail.com>
 Bryce McKinley
 Burkhard Linke <blinke@cebitec.uni-bielefeld.de>
@@ -268,6 +269,7 @@ Raja R Harinath <harinath@hurrynot.org>
 Rauli Ruohonen
 Regis Cridlig <Regis.Cridlig@cl.cam.ac.uk>
 Reimer Behrends <behrends@gmail.com>
+Renaud Blanch <renaud.blanch@lri.fr>
 Rene Girard
 Rex Dieter <rdieter@math.unl.edu>
 Reza Shahidi