Build #457 (Jul 9, 2019 10:52:05 AM)

	Build Artifacts
	Changes fixes #3811 (details / githubweb)
	Push event to branch Pharo8.0 at 10:51:59 AM on Jul 9, 2019
	Revision: d0f00a3266011381bebe69f8135c7c15740e3bc7 Pharo8.0
	Test Result (no failures)