Build #728 (Sep 12, 2019 9:01:24 AM)

	Build Artifacts
	Changes fix #4550 (detail / githubweb) fixs #4552 (detail / githubweb)
	Push event to branch Pharo8.0 at 8:29:20 AM on Sep 12, 2019 Push event to branch Pharo8.0 at 8:29:36 AM on Sep 12, 2019
	Revision: b0651dac62ef8cc3873ea70a0bab6de17f9f3191 Pharo8.0
	Test Result (no failures)