Build #153 (Dec 1, 2019 5:56:52 AM)

PR #2622: Use integer types for enums...

	No changes.
	GitHub pull request #2622 of commit 4d3bbf8fd86a721bdf13a315911487dc86674c9f, no merge conflicts.

Configurations