2016-05-30 - releng
07:50	<ori>	restarting jenkins on gallium, too	[releng]