2019-11-21 - production
14:41	<thcipriani>	restarting Jenkins for update	[production]