2018-10-01 - production
19:11	<thcipriani>	restarting ci jenkins for new plugins	[production]