diff --git a/THANKS b/THANKS index 1fc3e56b4..d36809cdf 100644 --- a/THANKS +++ b/THANKS @@ -32,6 +32,7 @@ ChrisAm1224 Chris Nehren Christoph Cullmann Christoph M. Becker +Corentin Schreiber Coverity cryi ctenter-scs