Build #288 (May 24, 2019, 2:57:51 PM)

	Build Artifacts
	Changes fixes #3366 (details / githubweb)
	Push event to branch Pharo8.0 at 2:57:44 PM on May 24, 2019
	Revision: 3131e67785974e90ec02795686dcf12be238afb6 Repository: https://github.com/pharo-project/pharo.git Pharo8.0
	Test Result (no failures)