diff --git a/CREDITS.txt b/CREDITS.txt
index 970e9f3a37..d31e1ce526 100644
--- a/CREDITS.txt
+++ b/CREDITS.txt
@@ -2701,3 +2701,4 @@ Ross Davis
 David Dutton
 Alexander Damm
 Michael Garwood
+Michel Le Docte