Remove strange trailing quote on Armaël’s name in CONTRIBUTORS

Thanks to Yong Kiam for noticing
HOL-Theorem-Prover · Feb 26, 2019 · 14368bc · 14368bc
1 parent fb5708a
commit 14368bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
@@ -23,7 +23,7 @@ Thibault Gauthier
 Arve Gengelbach
 Alejandro Gomez-Londono
 Mike Gordon
-Armaël Guéneau„
+Armaël Guéneau
 Elsa Gunter
 John Harrison
 Peter Homeier