From: nhmall Date: Wed, 1 Jun 2022 16:41:26 +0000 (-0400) Subject: Merge branch 'pr782' into NetHack-3.7 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=3495d99bc43ed2e9ed9c13614fa4c76ee72c75e6;p=nethack Merge branch 'pr782' into NetHack-3.7 --- 3495d99bc43ed2e9ed9c13614fa4c76ee72c75e6