Build #381 (Jun 25, 2019 8:33:09 PM)

	Build Artifacts
	Changes fixes #3619 (detail / githubweb)
	Push event to branch Pharo8.0 at 8:33:00 PM on Jun 25, 2019
	Revision: 714cd098eabb7463dbd15ee5f8f71c6144600a7a Pharo8.0
	Test Result (no failures)