]> granicus.if.org Git - nethack/commitdiff
Merge branch 'NetHack-3.7'
authornhmall <nhmall@nethack.org>
Sat, 23 Nov 2019 04:38:02 +0000 (23:38 -0500)
committernhmall <nhmall@nethack.org>
Sat, 23 Nov 2019 04:38:02 +0000 (23:38 -0500)

Trivial merge