]> granicus.if.org Git - nethack/commitdiff
pull request #718 - fix 'petrified' typo
authorPatR <rankin@nethack.org>
Fri, 1 Apr 2022 17:03:37 +0000 (10:03 -0700)
committerPatR <rankin@nethack.org>
Fri, 1 Apr 2022 17:03:37 +0000 (10:03 -0700)
Pull request from vultur-cadens to fix a recently introduced typo.

Closes #718


Trivial merge