[nongnu] elpa/proof-general f34a493839: docs: Update AUTHORS

[ELPA Syncer]

branch: elpa/proof-general
commit f34a4938399e6b863f14315ba5eeefb5ce047c50
Author: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-dorel@irit.fr>

    docs: Update AUTHORS
---
 AUTHORS | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/AUTHORS b/AUTHORS
index eac073ab95..a505fb9f9e 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -3,6 +3,8 @@ Current Authors/Maintainers:
    Pierre Courtieu     (Coq, lib)
    Erik Martin-Dorel   (Coq, Web site)
    Clément Pit-Claudel (Coq, packaging)
+   Stefan Monnier      (Coq)
+   Dominique Unruh     (qrhl-tool)
    Christophe Raffalli (PhoX)
    Pierre-Yves Strub   (EasyCrypt)
    Hendrik Tews        (Proof Tree)
@@ -16,7 +18,6 @@ Previous Authors:
    Healfdene Goguen   (Coq, generic, doc)
    Thomas Kleymann    (Lego, doc, generic)
    Patrick Loiseleur  (Coq)
-   Stefan Monnier     (Coq)
    Yves Bertot        (generic)
    David von Oheimb   (X-Symbol)
    Dilip Sequeira     (Lego, generic)