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

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

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

This reference includes the following new commits:

new 7874fff62 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.