From 863e6a14569140155bdb70b86fb6f5a066c2e2f7 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Wed, 22 Aug 2018 23:52:26 +0200
Subject: Update AUTHORS, fixing 2 typos

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

diff --git a/AUTHORS b/AUTHORS
index a436b627..f2113698 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -3,12 +3,12 @@ Current Authors/Maintainers:
    Pierre Courtieu     (Coq, lib)
    Erik Martin-Dorel   (Coq, Web site)
    Clément Pit-Claudel (Coq, packaging)
-   Henrik Tews         (Proof Tree)
+   Christophe Raffalli (PhoX)
+   Hendrik Tews        (Proof Tree)
 
 Previous Authors:
 
    David Aspinall     (all)
-   Christoph Raffalli (PhoX)
    Makarius Wenzel    (Isar, generic)
    Stefan Berghofer   (Isar)
    Paul Callaghan     (Plastic, Lego)
-- 
cgit v1.2.3