]> granicus.if.org Git - nethack/commitdiff
Merge branch 'pr693' into NetHack-3.7
authornhmall <nhmall@nethack.org>
Thu, 10 Mar 2022 14:10:05 +0000 (09:10 -0500)
committernhmall <nhmall@nethack.org>
Thu, 10 Mar 2022 14:10:05 +0000 (09:10 -0500)

Trivial merge