Build #21 (Dec 6, 2018 5:49:35 PM)

	Build Artifacts Expand all Collapse all
	Changes Clean Menubar (details / githubweb)
	Push event to branch Pharo7.0 at 5:17:25 PM on Dec 6, 2018
	Revision: 80bf25505555b69e08bc0eeaf99fcdcf3657f120 Pharo7.0