Build #235 (Jan 13, 2020 11:15:34 PM)

PR #2704: Fix CentOS 6 support.

	No changes.
	GitHub pull request #2704 of commit 25d10134c3201f521f8c088ed83a66899c3be414, no merge conflicts.

Configurations