Update CREDITS.txt

This commit is contained in:
Bertrand Songis
2019-10-10 21:38:13 +02:00
committed by GitHub
parent 801d5bb2ca
commit 9bdccd47fe
+1
View File
@@ -1598,3 +1598,4 @@ Markus Goelzner
Jean-Claude Etiemble
Wojciech Winiarski
Michael Fleming
Russell G Shanks