Merged changes to master (concerning Pharo 7) into dev branch#64

jbrichau merged 1 commit intodevSeasideSt/Grease:devfrom

master-to-devSeasideSt/Grease:master-to-devCopy head branch name to clipboard