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

	Build Artifacts
	Changes fixes #4003 (details / githubweb) remove dead code #commentInventory (details / githubweb) - 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
	Revision: 1e534aa561923b668ace041c5141c7086e2311fa Repository: https://github.com/pharo-project/pharo.git Pharo8.0
	Test Result (no failures)