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

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

at 5df55bbb6 round-robin.sh (build_abe): Do not disable make_docs in maint [...]

This reference includes the following new commits:

new 5df55bbb6 round-robin.sh (build_abe): Do not disable make_docs in maint [...]

The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.