Update CREDITS.txt
commit5635292d092a04b3b20c8df0a4d025a3fe830ad8
authorBertrand Songis <bsongis@gmail.com>
Wed, 13 Nov 2019 08:04:23 +0000 (13 09:04 +0100)
committerGitHub <noreply@github.com>
Wed, 13 Nov 2019 08:04:23 +0000 (13 09:04 +0100)
tree9c7c54558860debdbe4870e562cc23503069ccc4
parent6ba2f40ec5cdc217752889beb7f6cd2904649ef0
Update CREDITS.txt
CREDITS.txt