Build #493 (Jul 15, 2019, 9:36:45 AM)

	Build Artifacts
	Changes fixes #3897 (details / githubweb)
	Push event to branch Pharo8.0 at 9:36:38 AM on Jul 15, 2019
	Revision: 601fc355d53de6af38d309322b9870828b2e62ff Repository: https://github.com/pharo-project/pharo.git Pharo8.0
	Test Result (no failures)