2016-11-03 - releng
07:22	<Krenair>	fiddled with jenkins jobs in mediawiki-core-doxygen-publish to try to get stuff moving in the postmerge queue again	[releng]