Build #804 (Sep 30, 2019, 5:26:30 PM)

1. We should add a way to have deprecation warnings but not to have (details / githubweb)
2. Adding a settings (details / githubweb)

Push event to branch Pharo8.0 at 5:26:23 PM on Sep 30, 2019

• Pharo8.0