From: nhmall Date: Fri, 20 May 2022 21:41:18 +0000 (-0400) Subject: Merge branch 'pr765-767' into NetHack-3.7 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=eb49ca7c5a560ab7565a23bb974f5b91288501bc;p=nethack Merge branch 'pr765-767' into NetHack-3.7 --- eb49ca7c5a560ab7565a23bb974f5b91288501bc