Build #236 (Jan 15, 2020 6:45:37 AM)

PR #2705: latency between add1 and add2

	No changes.
	GitHub pull request #2705 of commit 6fe4323643b6d0e6318b098b5b5826898d942ed5, no merge conflicts.

Configurations