2018-07-30 - production
22:10	<thcipriani>	restarting jenkins after plugin updates	[production]