Build #135 (Mar 13, 2019 5:33:02 PM)

	Build Artifacts Expand all Collapse all
	Changes fixes #2811 (details / githubweb)
	Push event to branch Pharo8.0 at 5:32:54 PM on Mar 13, 2019
	Revision: 4dfab6e23da787de9523fbc9109eece25c5a74b7 Pharo8.0