]> granicus.if.org Git - nethack/commitdiff
Merge branch 'pr794' into NetHack-3.7
authornhmall <nhmall@nethack.org>
Thu, 9 Jun 2022 04:36:57 +0000 (00:36 -0400)
committernhmall <nhmall@nethack.org>
Thu, 9 Jun 2022 04:36:57 +0000 (00:36 -0400)

Trivial merge