Update THANKS.

diff --git a/THANKS b/THANKS
index 96720132b3b3479fb7b0fe86dbd3c5e2b00750a1..cd1bbed4f6f8ad0aaad3f984ddf9abd2c6dcf71e 100644 (file)
--- 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