Build #125 (Mar 11, 2019 10:03:46 AM)

1. ToolRegistry in standalone Tool-Registry package (details / githubweb)
2. fix tool registry announcing (details / githubweb)
3. registry weak subscriptions (details / githubweb)
4. defaultWorldMenu is a class side method (details / githubweb)
5. fix the obsolete GT extensions (details / githubweb)
6. GTPlayground tries to get the icon before the tool is registered (details / githubweb)
7. access to a tool before it is registered (details / githubweb)
8. reinitialize tools registration (details / githubweb)

Push event to branch Pharo8.0 at 10:03:40 AM on Mar 11, 2019

• Pharo8.0

• unix-32 / Tests-unix-32 / Unix32.Announcements.Tests.Core.Tests.WeakAnnouncerTest.testNoDeadWeakSubscriptions
• unix-32 / Tests-unix-32 / Unix32.Tests.SystemChangeNotification.SystemAnnouncerLiveTest.testNoDeadSubscriptions
• osx-32 / Tests-osx-32 / MacOSX32.Announcements.Tests.Core.Tests.WeakAnnouncerTest.testNoDeadWeakSubscriptions
• osx-32 / Tests-osx-32 / MacOSX32.Tests.SystemChangeNotification.SystemAnnouncerLiveTest.testNoDeadSubscriptions
• windows-32 / Tests-windows-32 / Windows32.Announcements.Tests.Core.Tests.WeakAnnouncerTest.testNoDeadWeakSubscriptions
• windows-32 / Tests-windows-32 / Windows32.Tests.SystemChangeNotification.SystemAnnouncerLiveTest.testNoDeadSubscriptions