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