[Pharo-users] Pharo-contribution down

The Jenkins for pharo-contribution seems to be down: builds never finish. https://ci.inria.fr/pharo-contribution -- Damien Cassou http://damiencassou.seasidehosting.st "Success is the ability to go from one failure to another without losing enthusiasm." --Winston Churchill