From b8579aff1f2f3c5feba810a513c764d5c5770c86 Mon Sep 17 00:00:00 2001
From: Ivan Maidanski <ivmai@mail.ru>
Date: Thu, 1 Aug 2013 09:36:59 +0400
Subject: [PATCH] Update AUTHORS file

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

diff --git a/AUTHORS b/AUTHORS
index 46a7d70f..2df0acc6 100644
--- 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
-- 
2.40.0