1 files changed, 1 insertions, 0 deletions

diff --git a/THANKS.in b/THANKS.in
index 2e0ad4b8..591ae545 100644
--- a/THANKS.in
+++ b/THANKS.in
@@ -199,3 +199,4 @@ Craig Orsinger
 Robby Giffin
 Henning Schmiedehausen
 Markus Baertschi
+Florian Gleixner