Build #146 (Nov 25, 2019 10:37:04 PM)

PR #2612: Add map-in-map support

	No changes.
	GitHub pull request #2612 of commit 65aea14368c249519decbc493bab5abb215a4261, no merge conflicts.
	Aborted by user yonghong-song

Configurations