Build #537 (Jul 21, 2019 2:50:42 PM)

1. fixes #4003 (details / githubweb)
2. remove dead code #commentInventory (details / githubweb)
3. - fix comment - cagegorize (details / githubweb)

Push event to branch Pharo8.0 at 2:23:32 PM on Jul 21, 2019

Push event to branch Pharo8.0 at 2:25:36 PM on Jul 21, 2019

• Pharo8.0