2017-08-07 - production
15:10	<thcipriani>	restarting jenkins for plugin upgrade	[production]