Merging jenkins release updates back into master.