]> granicus.if.org Git - nethack/commitdiff
Merge branch 'pr637' into NetHack-3.7
authornhmall <nhmall@nethack.org>
Tue, 23 Nov 2021 21:45:44 +0000 (16:45 -0500)
committernhmall <nhmall@nethack.org>
Tue, 23 Nov 2021 21:45:44 +0000 (16:45 -0500)

Trivial merge