From 620d770f3cb9990c062d8379fbc0ccb8cd29448c Mon Sep 17 00:00:00 2001
From: Tom Henderson <tomh@tomh.org>
Date: Fri, 6 Jun 2014 12:01:56 -0700
Subject: [PATCH] add author

---
 AUTHORS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/AUTHORS b/AUTHORS
index e667db11c..eaf61ef5e 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -29,6 +29,7 @@ Salva Climent (jocliba@gmail.com)
 Luis Cortes (cortes@gatech.edu)
 Luca Costantino (luca.costantino@gmail.com)
 Alexander D'souza (moijes12@gmail.com)
+Sébastien Deronne (sebastien.deronne@gmail.com)
 Craig Dowell (craigdo@ee.washington.edu)
 Gilaras Drakeson <gilaras@gmail.com>
 Christian Facchini <c.facchini@gmail.com>