Update CREDITS.txt

This commit is contained in:
Bertrand Songis
2018-01-13 09:02:31 +01:00
committed by GitHub
parent 3208946017
commit 48f05f97b7
+1
View File
@@ -1349,3 +1349,4 @@ Marco Lange
Philip Michels
Peter Helbling
Guy Lamaison
Michael Oeschger