]> granicus.if.org Git - nethack/commitdiff
Merge branch 'NetHack-3.7' into NetHack-3.7-Jan2020
authornhmall <nhmall@nethack.org>
Sat, 25 Jan 2020 22:26:23 +0000 (17:26 -0500)
committernhmall <nhmall@nethack.org>
Sat, 25 Jan 2020 22:26:23 +0000 (17:26 -0500)

Trivial merge