Build #20 (Dec 6, 2018 4:38:39 PM)

1. Fixing the lookup of extension packages that are not named exactly as (detail / githubweb)
2. Just fixing names from (detail / githubweb)
3. fix protocol name and call super tearDown at the last step (detail / githubweb)

Push event to branch Pharo7.0 at 4:38:32 PM on Dec 6, 2018

• Pharo7.0

• windows-32 / Tests-windows-32 / Windows32.Glamour.Tests.Morphic.GLMTabulatorMorphicTest.testSizeAndSpan