]> granicus.if.org Git - nethack/commitdiff
Merge branch 'pr765-767' into NetHack-3.7
authornhmall <nhmall@nethack.org>
Fri, 20 May 2022 21:41:18 +0000 (17:41 -0400)
committernhmall <nhmall@nethack.org>
Fri, 20 May 2022 21:41:18 +0000 (17:41 -0400)

Trivial merge