2020-05-27 - releng
21:55	<James_F>	Nicely restarting Jenkins for xunit plugin upgrade.	[releng]