Build #3 (Jul 9, 2019 5:45:53 PM)

PR #2450: Error in time comparison

	No changes.
	GitHub pull request #2450 of commit 162b4c08a8174ae48c016e54b5058d353c525bcd, no merge conflicts.

Configurations