From: nhmall Date: Wed, 14 Sep 2022 03:06:52 +0000 (-0400) Subject: Merge branch 'pr873' into NetHack-3.7 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=970a263d90410f5d95fea08212580207f5cf63ce;p=nethack Merge branch 'pr873' into NetHack-3.7 --- 970a263d90410f5d95fea08212580207f5cf63ce