Build #190 (Dec 22, 2019 7:16:06 AM)

PR #2660: Fix time going backwards on...

	No changes.
	GitHub pull request #2660 of commit c5de947040288922a8b1c9d73766029a485099ce, no merge conflicts.

Configurations