From 3fb4147ad760df79d54ffa046ac94e6a5581daeb Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Thu, 23 Jun 2016 18:34:22 -0400
Subject: Add myself to list of authors

---
 AUTHORS | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'AUTHORS')

diff --git a/AUTHORS b/AUTHORS
index ae8705ee..10418df5 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,10 +1,11 @@
 Current Authors/Maintainers:
 
-   David Aspinall     (all)
-   Pierre Courtieu    (coq)
-   Christoph Raffalli (phox)
-   Makarius Wenzel    (isar)
- 
+   David Aspinall      (all)
+   Pierre Courtieu     (coq)
+   Clément Pit-Claudel (coq)
+   Christoph Raffalli  (phox)
+   Makarius Wenzel     (isar)
+
 Previous Authors:
 
    Stefan Berghofer   (isar)
-- 
cgit v1.2.3