2020-04-13 - releng
18:04	<James_F>	Restarting deployment-mediawiki-09 too.	[releng]