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

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

at 385406abc docker-run.sh: Make sure $prefix is initialized

No new revisions were added by this update.