1 files changed, 1 insertions, 1 deletions
diff --git a/CREDITS b/CREDITS
index 9b5c1507f5..4c093c204f 100644
--- a/CREDITS
+++ b/CREDITS
@@ -154,6 +154,7 @@ of the Coq Proof assistant during the indicated time:
   Matthias Puech (INRIA-Bologna, 2008-2011)
   Yann Régis-Gianas (INRIA-PPS then IRIF, 2009-now)
   Clément Renard (INRIA, 2001-2004)
+  Talia Ringer (University of Washington, 2019)
   Claudio Sacerdoti Coen (INRIA, 2004-2005)
   Amokrane Saïbi (INRIA, 1993-1998)
   Vincent Semeria (2018)
@@ -170,7 +171,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)
-  Talia Ringer (UW, 2019)
 
 ***************************************************************************
 INRIA refers to: