]> granicus.if.org Git - nethack/commitdiff
Merge branch 'pr773' into NetHack-3.7
authornhmall <nhmall@nethack.org>
Fri, 27 May 2022 20:08:55 +0000 (16:08 -0400)
committernhmall <nhmall@nethack.org>
Fri, 27 May 2022 20:08:55 +0000 (16:08 -0400)

Trivial merge