2019-02-19 - production
19:57	<thcipriani>	restarting ci-jenkins for plugin update	[production]