From 7b28407418a15ce0b18cba309a51a1158b5bd324 Mon Sep 17 00:00:00 2001
From: Andreas Lynge
Date: Wed, 5 Jun 2019 18:35:03 +0200
Subject: Add Andreas Lynge to CREDITS

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

(limited to 'CREDITS')

diff --git a/CREDITS b/CREDITS
index 4c093c204f..0d990471c1 100644
--- a/CREDITS
+++ b/CREDITS
@@ -155,6 +155,7 @@ of the Coq Proof assistant during the indicated time:
   Yann Régis-Gianas (INRIA-PPS then IRIF, 2009-now)
   Clément Renard (INRIA, 2001-2004)
   Talia Ringer (University of Washington, 2019)
+  Andreas Lynge (Aarhus University, 2019)
   Claudio Sacerdoti Coen (INRIA, 2004-2005)
   Amokrane Saïbi (INRIA, 1993-1998)
   Vincent Semeria (2018)
-- 
cgit v1.2.3