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

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

at 74668e7a0 jenkins-helpers.sh (wait_for_ssh_server): Allow more ssh options

No new revisions were added by this update.