From 7d4298655d745d5d44bee098acbf59b2515b7e88 Mon Sep 17 00:00:00 2001 From: nhmall Date: Thu, 26 Mar 2015 08:05:23 -0400 Subject: [PATCH] names of public servers and tournament contrib Changes to be committed: modified: dat/history --- dat/history | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/dat/history b/dat/history index 0e15a079c..0a4a8471f 100644 --- 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. - write up something for Robin, M. Drew Streib, Pasi Kallinen + On behalf of the NetHack community, thank you very much to +M. Drew Streib, Pasi Kallinen and Robin Bandy. - - - - - - - - - -