]> granicus.if.org Git - nethack/commitdiff
Merge branch 'NetHack-3.7'
authornhmall <nhmall@nethack.org>
Sun, 4 Oct 2020 18:54:41 +0000 (14:54 -0400)
committernhmall <nhmall@nethack.org>
Sun, 4 Oct 2020 18:54:41 +0000 (14:54 -0400)

Trivial merge