names of public servers and tournament contrib

 Changes to be committed:
	modified:   dat/history

diff --git a/dat/history b/dat/history
index 0e15a079c8669fdd95e093e4d1ba673581482f0e..0a4a8471fe292864675e6cc8004236b78b84083b 100644 (file)
--- a/dat/history
+++ b/dat/history
@@ -211,7 +211,8 @@ people primarily responsible for the public NetHack servers available for
 playing the game at nethack.alt.org and devnull.net. In addition to providing 
 a way for the public to play a game of NetHack from almost anywhere, they 
 have hosted annual NetHack tournaments for many, many years. 
-<FIXME> write up something for Robin, M. Drew Streib, Pasi Kallinen
+<FIXME> On behalf of the NetHack community, thank you very much to 
+M. Drew Streib, Pasi Kallinen and Robin Bandy.
 
                           - - - - - - - - - -