]> granicus.if.org Git - nethack/commitdiff
Merge branch 'pr873' into NetHack-3.7
authornhmall <nhmall@nethack.org>
Wed, 14 Sep 2022 03:06:52 +0000 (23:06 -0400)
committernhmall <nhmall@nethack.org>
Wed, 14 Sep 2022 03:06:52 +0000 (23:06 -0400)

Trivial merge