Update THANKS.

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