From 71e95436cddadf534f4bd3f03c4e852780958dfc Mon Sep 17 00:00:00 2001
From: Vincent Semeria
Date: Thu, 1 Nov 2018 12:48:53 +0100
Subject: Fix alphabetical order

---
 CREDITS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CREDITS b/CREDITS
index bd9e37199e..f9aa0cb94d 100644
--- a/CREDITS
+++ b/CREDITS
@@ -152,6 +152,7 @@ of the Coq Proof assistant during the indicated time:
   Clément Renard (INRIA, 2001-2004)
   Claudio Sacerdoti Coen (INRIA, 2004-2005)
   Amokrane Saïbi (INRIA, 1993-1998)
+  Vincent Semeria (2018)
   Vincent Siles (INRIA, 2007)
   Élie Soubiran (INRIA, 2007-2010)
   Matthieu Sozeau (INRIA, 2005-now)
@@ -165,7 +166,6 @@ of the Coq Proof assistant during the indicated time:
   Nickolai Zeldovich (MIT 2014-2016)
   Théo Zimmermann (ORCID: https://orcid.org/0000-0002-3580-8806,
                    INRIA-PPS then IRIF, 2015-now)
-  Vincent Semeria (2018)
 
 ***************************************************************************
 INRIA refers to:
-- 
cgit v1.2.3