Build #163 (Feb 20, 2020 8:15:15 AM)

PR #160: [UTILS-159] Remove coverall...

	No changes.
	GitHub pull request #160 of commit e31b1e648eb443b3e9d39612ad592879c03ad4f5, no merge conflicts.
	Test Result (no failures)

Configurations