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

1. 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

• Pharo9.0