Build #1063 (Jul 1, 2021 3:44:03 PM)

PR #3518: tools: replace add with xadd

	No changes.
	GitHub pull request #3518 of commit 523a10579a418d0083a6cd0a0ef47835f6ed89d8, no merge conflicts.

Configurations