Build #1104 (Jan 13, 2020 4:13:05 PM)

1. kind of a hack, but I do not find a better way to do it. (details / githubweb)
2. Adding small comment (details / githubweb)

Push event to branch Pharo8.0 at 4:12:58 PM on Jan 13, 2020

• Pharo8.0