From 5abaf69a3985dca803b4d236d8b4f6916da99872 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Thu, 23 Aug 2018 01:58:15 +0200
Subject: Update AUTHORS file for EasyCrypt

---
 AUTHORS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/AUTHORS b/AUTHORS
index f2113698..58978d23 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -4,6 +4,7 @@ Current Authors/Maintainers:
    Erik Martin-Dorel   (Coq, Web site)
    Clément Pit-Claudel (Coq, packaging)
    Christophe Raffalli (PhoX)
+   Pierre-Yves Strub   (EasyCrypt)
    Hendrik Tews        (Proof Tree)
 
 Previous Authors:
-- 
cgit v1.2.3