Build #529 (Jul 18, 2019 7:24:07 PM)

	Build Artifacts
	Changes fixes #4001 (details / githubweb)
	Push event to branch Pharo8.0 at 7:24:00 PM on Jul 18, 2019
	Revision: 32fcbf9a716171e3353521038b4f410adec01e21 Repository: https://github.com/pharo-project/pharo.git Pharo8.0
	Test Result (no failures)