[Pharo-dev] CI Infrastructure down Sun evening to Monday evening

[Marcus Denker]

Due to large scale maintenance of the Inria server infrastructure on monday 
11/11
(which is a holiday here), we will shut down the slaves of the CI setup
Sunday evening.

Everything then should be online again the Monday evening.

        Marcus