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 Pharo8.0
	Test Result (no failures)