Build #458 (Jul 9, 2019 2:03:39 PM)

1. ## New features (details / githubweb)
2. Disable unfinished feature. (details / githubweb)
3. Fix dependency problem (details / githubweb)

Push event to branch Pharo8.0 at 2:03:33 PM on Jul 9, 2019

• Pharo8.0