2016-09-21 - releng
14:05	<hashar>	deployment-mira seems ready for action and is the primary deployment server. Enabling jenkins to it	[releng]