Merge PR #10302: Fix SSR 'case B:b' with universe polymorphic equality

Ack-by: andreaslyn
Reviewed-by: gares

1 files changed, 1 insertions, 0 deletions

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)