2018-07-31 - releng
19:50	<marxarelli>	Configuring Jenkins to include integration/pipelinelib as an available pipeline library	[releng]