Update CREDITS.txt

This commit is contained in:
Bertrand Songis
2017-12-18 19:41:43 +01:00
committed by GitHub
parent 00c7b23d15
commit 6839939140
+1
View File
@@ -1325,3 +1325,4 @@ John Bitzer
Bryan Anderson
Claudio Piccinini
Patrick Breidenbach
Harald Puff