2019-09-17 - releng
11:26	<hashar>	Configured CI jenkins to use a webproxy for the update center due to mysterious "connection reset" when downloading plugins	[releng]