2016-11-09 - releng
16:34	<Reedy>	deployment-tin no longer offline, jenkins running jobs now	[releng]