Build #411 (Jun 30, 2019, 3:09:52 AM)

	Build Artifacts
	Changes fixes #3702 (details / githubweb)
	Push event to branch Pharo8.0 at 3:09:45 AM on Jun 30, 2019
	Revision: 1f2e31970f1fb3a3ab93214aba728f2b8d454aab Repository: https://github.com/pharo-project/pharo.git Pharo8.0
	Test Result (no failures)