Merge pull request #812 from Xindage/map12

Fixes issues #800, and part of #806..
This commit is contained in:
Xindage 2022-10-19 21:48:36 -03:00 committed by GitHub
commit 7dcd5c4523
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

Binary file not shown.