Rename random map Map to RandomMap, so that it doesn't overwrite the native JS Map object, fixes #4961.
Description
Description
Details
Details
- Provenance
elexis Authored on - Parents
- rP20897: Fix a forgotton line in rP20871 and mess with a 1-tile workaround.
- Branches
- Unknown
- Tags
- Build Status
Buildable 4524 Build 7903: Post-Commit Build