sync with smalltalkhub
Merge branch 'master' into dev-3.1.3