--- a/COPYRIGHT	Thu Mar 20 21:35:11 2014 -0500
+++ b/COPYRIGHT	Thu Mar 20 21:58:41 2014 -0500
@@ -563,6 +563,7 @@
 Igor Vlasenko
 István Váradi
 ILDAR Valeev
+Cédric Valmary
 Martijn van Beers
 Gideon van Melle
 Arjan van de Ven