1 files changed, 1 insertions, 0 deletions

diff --git a/THANKS.in b/THANKS.in
index c7e44df3..cf60bf2b 100644
--- a/THANKS.in
+++ b/THANKS.in
@@ -197,3 +197,4 @@ Aravind Gottipati
 Kyle Tucker
 Craig Orsinger
 Robby Giffin
+Henning Schmiedehausen