Build #830 (Oct 4, 2019 5:30:22 PM)

	Build Artifacts
	Changes fixes #4819 (details / githubweb)
	Push event to branch Pharo8.0 at 5:30:16 PM on Oct 4, 2019
	Revision: 0497a64b9d5f418468f3c2f60d0d4927f3528d7f Pharo8.0
	Test Result (no failures)