]> granicus.if.org Git - nethack/commitdiff
Merge branch 'wasm-pr403' into NetHack-3.7
authornhmall <nhmall@nethack.org>
Sat, 31 Oct 2020 13:29:46 +0000 (09:29 -0400)
committernhmall <nhmall@nethack.org>
Sat, 31 Oct 2020 13:29:46 +0000 (09:29 -0400)

Trivial merge