Build #240 (Jan 16, 2020 1:34:58 AM)

PR #2705: latency between add1 and add2

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

Configurations