Build #488 (Jul 13, 2019, 3:58:22 PM)

	Build Artifacts
	Changes fixes #3914 (details / githubweb)
	Push event to branch Pharo8.0 at 3:58:16 PM on Jul 13, 2019
	Revision: 9dff4a451088bbbe22a6a99a915e71757764b5aa Repository: https://github.com/pharo-project/pharo.git Pharo8.0
	Test Result (no failures)