*** empty log message ***

diff --git a/THANKS b/THANKS
index a8450a0..785934b 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -6,6 +6,7 @@ files.  If your name has been left out, if you'd rather not be listed,
 or if you'd prefer a different address be used, please let me know.
 
 ???                                 kytek@cybercomm.net
+A Costa                             agcosta@gis.net
 Achim Blumensath                    blume@corona.oche.de
 Adam Klein                          aklein@debian.org
 Akim Demaille                       demaille@inf.enst.fr