2017-05-20 - production
09:08	<thcipriani>	restarting jenkins on contint1001	[production]