Build #935 (Nov 4, 2019 3:53:09 PM)

	Build Artifacts
	Changes fixes #4829 (details / githubweb)
	Push event to branch Pharo8.0 at 3:53:02 PM on Nov 4, 2019
	Revision: 9e5cbea4463bc9e5a987eb8ce78713b124d956e9 Repository: https://github.com/pharo-project/pharo.git Pharo8.0
	Test Result (no failures)