From 8cbaef18373cb255a8806d6563a6729276ad564e Mon Sep 17 00:00:00 2001
From: Talia Ringer
Date: Mon, 3 Jun 2019 10:19:14 -0400
Subject: Fix affiliation and ordering in CREDITS

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

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:
-- 
cgit v1.2.3