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

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

at 97622211e jenkins-helpers.sh (print_number_of_busy_executors): Improve

No new revisions were added by this update.