From 0e38b678c9d50a58bee7c15c7cdb9b039877f985 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 8 Nov 1999 13:57:04 +0000
Subject: Updated

---
 AUTHORS | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'AUTHORS')

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:
 
-- 
cgit v1.2.3