Update CREDITS.txt

This commit is contained in:
Bertrand Songis
2020-07-03 21:19:36 +02:00
committed by GitHub
parent 0f13580f3d
commit 531784d433
+1
View File
@@ -1798,3 +1798,4 @@ Michael Chambers
Harold H Youngren
Yann Orselli
Dieter Schaad
Ernst Camenzind