2019-08-07 - production
16:00	<thcipriani>	restarting jenkins for update	[production]