2018-12-05 - production
15:34	<thcipriani>	restarting ci jenkins for update	[production]