Build #944 (Apr 29, 2021 4:23:20 PM)

PR #3379: introduced map batch update...

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

Configurations