Re: [Pharo-dev] SHA1 changed ??