]> granicus.if.org Git - nethack/commitdiff
Merge branch 'copperwater_consolidated_pull_request_265'
authorPatric Mueller <bhaak@gmx.net>
Sat, 4 Jan 2020 22:12:34 +0000 (23:12 +0100)
committerPatric Mueller <bhaak@gmx.net>
Sat, 4 Jan 2020 23:27:20 +0000 (00:27 +0100)
This includes most commits from GitHub pull request #265 with some code
adjustment and documentation in doc/fixes37.0.


Trivial merge