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

	Build Artifacts
	Changes fixes #3619 (details / githubweb)
	Push event to branch Pharo8.0 at 8:33:00 PM on Jun 25, 2019
	Revision: 714cd098eabb7463dbd15ee5f8f71c6144600a7a Repository: https://github.com/pharo-project/pharo.git Pharo8.0
	Test Result (no failures)