Build #884 (Oct 18, 2019 7:55:27 AM)

	Build Artifacts
	Changes fixes #4927 (details / githubweb)
	Push event to branch Pharo8.0 at 7:55:20 AM on Oct 18, 2019
	Revision: ff0928dd21dbd13ba70af28889748123dd3c53a1 Pharo8.0
	Test Result (no failures)