This is an automated email from the git hooks/post-receive script.

maxim.kuvyrkov pushed a change to reference refs/replace/99300555a21d0ef961d60042730afe5b79d3311a in repository toolchain/jenkins-scripts.

at 06af2d36b jenkins-helpers.sh: Workaround DNS issue

No new revisions were added by this update.