Build #661 (Aug 22, 2019 12:26:48 PM)

1. simplify psKeysSema a little (trivial improvement from my backlog) (details / githubweb)

Push event to branch Pharo8.0 at 12:26:42 PM on Aug 22, 2019

• Pharo8.0