Build #5 (Nov 29, 2018 1:09:42 PM)

	Build Artifacts
	Changes fix dev branch name (details / githubweb)
	Push event to branch Pharo7.0 at 1:09:36 PM on Nov 29, 2018
	Revision: 1b4dc9683c706b8afa792485e7569b613975362c Pharo7.0
	Test Result (no failures)
	Aborted by user esteban.lorenzano@inria.fr