Build #443 (Jul 5, 2019 11:04:34 PM)

	Build Artifacts
	Changes Fix mistake from PR3768 (details / githubweb)
	Push event to branch Pharo8.0 at 11:04:27 PM on Jul 5, 2019
	Revision: 8980e9ae6dfa7cbacb7674107411174c8b2ae0e5 Pharo8.0
	Test Result (no failures)