1 files changed, 2 insertions, 2 deletions
diff --git a/AUTHORS b/AUTHORS
index 68eb74ec..0be05ffe 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -6,8 +6,8 @@ Current Authors/Maintainers:
      isar
    Paul Callaghan <P.C.Callaghan@durham.ac.uk>
      plastic, lego
-
->> Position vacant for Coq maintainer, offers welcome!
+   Pierre Courtieu <courtieu@lri.fr>
+     coq
  
 Previous Authors: