]> granicus.if.org Git - nethack/commitdiff
Merge branch 'housekeeping-to-merge-at-3.6.4-release' of https://rodney.nethack.org...
authornhmall <nhmall@nethack.org>
Tue, 17 Dec 2019 19:13:16 +0000 (14:13 -0500)
committernhmall <nhmall@nethack.org>
Tue, 17 Dec 2019 19:13:16 +0000 (14:13 -0500)

Trivial merge