From: nhmall Date: Thu, 9 Jun 2022 04:36:57 +0000 (-0400) Subject: Merge branch 'pr794' into NetHack-3.7 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=7e143b3e3e5e6996f8b569b6052bec69f1029f69;p=nethack Merge branch 'pr794' into NetHack-3.7 --- 7e143b3e3e5e6996f8b569b6052bec69f1029f69