Build #658 (Sep 13, 2020, 10:14:21 AM)

	Build Artifacts
	Changes PragmaMenuBuilder was only caching a PragmaCollector because of the slowness of accessing all Pragmas. (details / githubweb)
	Push event to branch Pharo9.0 at 10:14:14 AM on Sep 13, 2020
	Revision: 9d5ff7771db2b8e44c2b7961ee730edb4fc33512 Repository: https://github.com/pharo-project/pharo.git Pharo9.0
	Test Result (no failures)