]> granicus.if.org Git - nethack/commitdiff
Merge branch 'master' into NetHack-3.7
authornhmall <nhmall@nethack.org>
Fri, 6 Dec 2019 21:55:20 +0000 (16:55 -0500)
committernhmall <nhmall@nethack.org>
Fri, 6 Dec 2019 21:55:20 +0000 (16:55 -0500)

Trivial merge