From: nhmall Date: Sat, 10 Jul 2021 11:20:49 +0000 (-0400) Subject: Merge branch 'pr547' into NetHack-3.7 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=ce2d56ef58960826c53e971046ebc5f9be866550;p=nethack Merge branch 'pr547' into NetHack-3.7 --- ce2d56ef58960826c53e971046ebc5f9be866550