*** empty log message ***

diff --git a/THANKS b/THANKS
index 7da7f7359b8a7a414350c5b93a2819ee0092adb4..0574bd54d2545d5ddda34ead0ae04ccb9f77793c 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -68,6 +68,7 @@ Matthew Swift: swift@alum.mit.edu
 Matthias Urlichs: smurf@noris.de
 Michiel Bacchiani: bacchian@raven.bu.edu
 Michael Veksler: mveksler@techunix.technion.ac.il
+Michael Stone: mstone@debian.org
 Miles Bader: miles@gnu.ai.mit.edu
 Noel Cragg: noel@red-bean.com
 Olav Morkrid: olav@funcom.com