diff --git a/docs/CREDITS b/docs/CREDITS
index b55d2b5898..4c25a979e5 100644
--- a/docs/CREDITS
+++ b/docs/CREDITS
@@ -196,3 +196,4 @@ Peter Cawley
 Rani Hod
 Tom Ross
 Anton Romanov
+Jean-Luc Ohl