1 files changed, 1 insertions, 0 deletions

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)