2020-03-11 - releng
17:30	<James_F>	Soft-restarting Jenkins to drop unused plugin.	[releng]