Build #871 (Oct 15, 2019, 7:50:30 AM)

	Build Artifacts
	Changes Fix #4910 Renamed (details / githubweb)
	Push event to branch Pharo8.0 at 7:50:23 AM on Oct 15, 2019
	Revision: 9c4efa10eaf5a3545c44707cd1fe672904bf15a9 Repository: https://github.com/pharo-project/pharo.git Pharo8.0
	Test Result (no failures)