1 files changed, 6 insertions, 5 deletions

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)