2017-06-15 - releng
00:52	<thcipriani>	deployment-tin jenkins agent borked for 4 hours, should be fixed now	[releng]