diff --git a/THANKS.in b/THANKS.in
index f666248ebc4a9b5846eb1b817cfe0fd154dd5f8b..c788bac0df30a81ac28b83164cea3ee531e1b946 100644 (file)
--- a/THANKS.in
+++ b/THANKS.in
Emil Michles
Ask Bjoern Hansen
Daniel Bimschas
+Aurelien Bompard
+Christoph Schell