[Pharo-dev] CI down this morning for maintance

Feb. 16, 2017

      Hi,

The ci (pharo and pharo-contrib) has some maintenance this morning and can be down for some
hours. 

	Marcus

Marcus Denker