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 Pharo8.0
	Test Result (no failures)