Build #145 (Nov 25, 2019 5:22:02 PM)

PR #2612: Add map-in-map support

	No changes.
	GitHub pull request #2612 of commit 65aea14368c249519decbc493bab5abb215a4261, no merge conflicts.

Configurations