Build #300 (May 28, 2019 7:35:07 AM)

	Build Artifacts
	Changes safer sources file flush (detail / githubweb)
	Push event to branch Pharo8.0 at 7:35:01 AM on May 28, 2019
	Revision: a2c2e199809d29e85a2e226879080909ad91b40a Pharo8.0
	Test Result (no failures)