This is an automated email from the git hooks/post-receive script.
maxim.kuvyrkov pushed a change to reference refs/replace/af511ed9f10d86bfa580d2e4371031613ea3839a in repository toolchain/jenkins-scripts.
at 32391a8e5 round-robin.sh (build_abe): Remove fake makeinfo wrapper in m [...]
No new revisions were added by this update.