Build #148 (Nov 26, 2019 6:37:15 AM)

PR #2612: Add map-in-map support

	No changes.
	GitHub pull request #2612 of commit 70270b2c3613ded3e36f5d59be83278a6b88ba6a, no merge conflicts.

Configurations