Update CREDITS.txt

This commit is contained in:
Bertrand Songis
2019-04-25 15:05:46 +02:00
committed by GitHub
parent d4cd8498ce
commit 798ee0ffee
+1 -1
View File
@@ -1512,4 +1512,4 @@ Ivan Pik
Rothermann, Kurt
Antinoro Ferdinando
Sam Day
Roman Rychtarik