From 6df59353a7d2d0b3781673d42988566ea9280e61 Mon Sep 17 00:00:00 2001
From: Sebastian Ramacher <sebastian+dev@ramacher.at>
Date: Fri, 7 Dec 2012 18:09:48 +0100
Subject: [PATCH] =?UTF-8?q?Mention=20Beno=C3=AEt=20Knecht=20in=20AUTHORS?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

diff --git a/AUTHORS b/AUTHORS
index cd9cff6..09c9abc 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -18,3 +18,4 @@ J. Commelin <jcommeli@math.leidenuniv.nl>
 Julian Orth <ju.orth@googlemail.com>
 Roland Schatz <roland.schatz@students.jku.at>
 Abdó Roig-Maranges <abdo.roig@gmail.com>
+Benoît Knecht <benoit.knecht@gmail.com>