diff --git a/CREDITS.txt b/CREDITS.txt
index 71f28baff..ce815fc70 100644
--- a/CREDITS.txt
+++ b/CREDITS.txt
@@ -1597,3 +1597,4 @@ Uwe Jordt
 Markus Goelzner
 Jean-Claude Etiemble
 Wojciech Winiarski
+Michael Fleming