Build #948 (Apr 29, 2021 5:51:38 PM)

PR #3379: introduced map batch update...

	No changes.
	GitHub pull request #3379 of commit f66acf5977035a16926cc12affe16f80bb0e08a7, no merge conflicts.

Configurations