2017-05-13 - releng
20:31	<bd808>	Deleted stuck mediawiki-core-doxygen-publish job. Jenkins had it marked for a particular nodepool instance that was offline.	[releng]