This is an automated email from the git hooks/post-receive script.
maxim.kuvyrkov pushed a change to reference refs/replace/b4edd43451ffbfbd162dbf8d162cf93327072ac2 in repository toolchain/jenkins-scripts.
at ed3505d9c Do not "<output> | grep -q", use "<output> | grep -q ... >/de [...]
No new revisions were added by this update.