From: nhmall Date: Sat, 11 Jun 2022 15:07:42 +0000 (-0400) Subject: Merge branch 'pr791' into NetHack-3.7 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=46e58c8e959238bc1f3978addd4203d217552431;p=nethack Merge branch 'pr791' into NetHack-3.7 --- 46e58c8e959238bc1f3978addd4203d217552431