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

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

at 2be6134fd round-robin-notify.sh: Move single_commit_p() here

No new revisions were added by this update.