diff --git a/THANKS b/THANKS index 36c2a3ae1b..8093d8c4ca 100644 --- a/THANKS +++ b/THANKS @@ -35,6 +35,7 @@ infrastructure help: Bruno FĂ©lix Rezende Ribeiro Cyrill Schenkel Benno Schulenberg + Thomas Schwinge Alen Skondro Matthias Wachs Andy Wingo