Build #727 (Sep 12, 2019 8:11:05 AM)

1. Fix #2165 GrowlMorph>>defaultBorderColor is not take into account (details / githubweb)

Push event to branch Pharo8.0 at 8:10:59 AM on Sep 12, 2019

• Pharo8.0