From 417c65d194ea3ffbb2a85d2475b8f5dcb63dd0db Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Sat, 23 Jul 2016 15:46:10 +0200
Subject: Add myself to the list of maintainers.

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

(limited to 'AUTHORS')

diff --git a/AUTHORS b/AUTHORS
index 10418df5..03911df7 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -2,6 +2,7 @@ Current Authors/Maintainers:
 
    David Aspinall      (all)
    Pierre Courtieu     (coq)
+   Erik Martin-Dorel   (coq, website)
    Clément Pit-Claudel (coq)
    Christoph Raffalli  (phox)
    Makarius Wenzel     (isar)
-- 
cgit v1.2.3