Build #478 (Jul 12, 2019 9:34:25 AM)

	Build Artifacts
	Changes fixes #3895 (details / githubweb)
	Push event to branch Pharo8.0 at 9:34:19 AM on Jul 12, 2019
	Revision: 216f94bf35605e360ef40f0cf25736e69000bbe2 Pharo8.0
	Test Result (no failures)