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

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

at aae74eaf8 jenkins-helpers.sh: Workaround DNS issue

This reference includes the following new commits:

new aae74eaf8 jenkins-helpers.sh: Workaround DNS issue

The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.