From ba86cfdad0b1e9fed4367b31442e154da5e8399d Mon Sep 17 00:00:00 2001
From: Thomas Gazagnaire <thomas@gazagnaire.org>
Date: Thu, 14 Mar 2013 17:00:04 +0100
Subject: [PATCH] Update the AUTHORS file

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

diff --git a/AUTHORS b/AUTHORS
index a2cdd3dca3d..c6d69362e11 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,5 +1,6 @@
 Thomas Gazagnaire   <thomas@ocamlpro.com>
 Frederic Tuong      <tuong@users.gforge.inria.fr>
-Vincent Bernardoff  <vb@luminar.eu.org>
 Guillem Rieu        <guillem.rieu@ocamlpro.com>
-Anil Madhavapeddy   <anil@recoil.org>
\ No newline at end of file
+Vincent Bernardoff  <vb@luminar.eu.org>
+Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
+Anil Madhavapeddy   <anil@recoil.org>