2018-05-09 - production
15:31	<thcipriani>	upgrading jenkins on contint2001/contint1001	[production]