]> granicus.if.org Git - nethack/commitdiff
Merge branch 'pr782' into NetHack-3.7
authornhmall <nhmall@nethack.org>
Wed, 1 Jun 2022 16:41:26 +0000 (12:41 -0400)
committernhmall <nhmall@nethack.org>
Wed, 1 Jun 2022 16:41:26 +0000 (12:41 -0400)

Trivial merge