Update production/jenkins.patch to the current automation version.