Build #105 (Oct 31, 2019 11:37:56 PM)

PR #2581: remove the warning for map....

	No changes.
	GitHub pull request #2581 of commit 759dbcabf99e89258b84d13a7d2bb3dac8521186, no merge conflicts.

Configurations