diff --git a/THANKS b/THANKS index 96720132..cd1bbed4 100644 --- a/THANKS +++ b/THANKS @@ -128,6 +128,7 @@ has been important. :-) In alphabetical order: - Torsten Rupp - Stephen Sachs - Jukka Salmi + - Agostino Sarubbo - Alexandre Sauvé - Benno Schulenberg - Andreas Schwab