Build #451 (Jul 8, 2019 11:18:52 AM)

	Build Artifacts
	Changes fixes #3812 (details / githubweb)
	Push event to branch Pharo8.0 at 11:18:46 AM on Jul 8, 2019
	Revision: ea4b1bd92f211d80c95089b14df89485e8c3cb28 Pharo8.0
	Test Result (no failures)