make echo silent

[platform/upstream/automake.git] / THANKS

diff --git a/THANKS b/THANKS
index 344469f..ef676b0 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -4,6 +4,7 @@ people:
 
 Akim Demaille <demaille@inf.enst.fr>
 Alexander V. Lukyanov <lav@yars.free.net>
+Alexandre Oliva <oliva@dcc.unicamp.br>
 Andreas Schwab <schwab@lamothe.informatik.uni-dortmund.de>
 Anthony Green <green@cygnus.com>
 Bill Fenner <fenner@parc.xerox.com>