Build #943 (Apr 27, 2021 5:12:20 PM)

PR #3379: introduced map batch update...

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

Configurations