2018-12-05 - production
10:44	<moritzm>	uploaded jenkins 2.138.4 to jessie-wikimedia/thirdparty and stretch-wikimedia/thirdpary/ci	[production]