1 files changed, 1 insertions, 0 deletions

diff --git a/CREDITS b/CREDITS
index f0dd26a0d6..a93d7308ef 100644
--- a/CREDITS
+++ b/CREDITS
@@ -24,5 +24,6 @@ Roman Shaposhnik
 Dieter Shirley
 Juan J. Sierralta
 Ewald Snel
+Leon van Stuivenberg
 Roberto Togni
 Lionel Ulmer