This is an automated email from the git hooks/post-receive script.
Renato Golin pushed a change to branch llvmprod in repository toolchain/jenkins-scripts.
at e7d5650 jenkins-helpers.sh: Improve clone_or_update_repo.
No new revisions were added by this update.