Build #866 (Oct 11, 2019 8:24:24 PM)

1. While fixing another issue I commited something from my settings. (details / githubweb)

Push event to branch Pharo8.0 at 8:24:17 PM on Oct 11, 2019

• Pharo8.0