2018-10-10 - production
20:34	<thcipriani>	upgrading ci jenkins install on contint1001	[production]