]> granicus.if.org Git - nethack/commitdiff
pull request #707 - add missing (void) casts
authorPatR <rankin@nethack.org>
Sat, 19 Mar 2022 16:10:47 +0000 (09:10 -0700)
committerPatR <rankin@nethack.org>
Sat, 19 Mar 2022 16:10:47 +0000 (09:10 -0700)
Incorporate pull request from argrath.

Closes #707


Trivial merge