June 25, 2019
4:05 p.m.
it is working again
On 25 Jun 2019, at 17:50, Marcus Denker <marcus.denker@inria.fr> wrote:
There is a prolem with files.pharo.org <http://files.pharo.org/> at the hosting company.
see https://github.com/pharo-project/pharo/issues/3626 <https://github.com/pharo-project/pharo/issues/3626> for more infos
Marcus