jenkins-bot merged this change.

View Change

Add Frédéric Chapoton to CREDITS

Change-Id: I6de33a891acc489d79f98b66548720186f5ab6c5
---
M CREDITS
1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/CREDITS b/CREDITS
index dba005f..2ad5a93 100644
--- a/CREDITS
+++ b/CREDITS
@@ -59,6 +59,7 @@
 Filnik
 Framawiki
 Francesco Cosoleto
+Frédéric Chapoton
 Gallaecio
 Geoffrey Mon
 georggi

To view, visit change 494019. To unsubscribe, or for help writing mail filters, visit settings.