Build #813 (Oct 2, 2019 10:36:18 AM)

1. better comment (details / githubweb)
2. - played with debugging "self error" and the #terminateTo: is needed for (details / githubweb)
3. simplify comments (details / githubweb)

Push event to branch Pharo8.0 at 10:28:41 AM on Oct 2, 2019

• Pharo8.0