Changes

Summary

  1. backport pharo-vcs/tonel bug fix (details)
Commit 2a20127022936f24a2b3a9685aea87de438f4acb by badetitou
backport pharo-vcs/tonel bug fix
The file was modifiedbootstrap/scripts/4-build.sh (diff)