This is an automated email from the git hooks/post-receive script.
maxim.kuvyrkov pushed a change to reference refs/changes/17/40217/1 in repository toolchain/jenkins-scripts.
discards 6382cc45b Use -fdump-statistics for all gnu benchmarking configs. adds 3357a0f17 Use -fdump-statistics for all gnu benchmarking configs.
This update added new revisions after undoing existing revisions. That is to say, some revisions that were in the old version of the reference are not in the new version. This situation occurs when a user --force pushes a change and generates a repository containing something like this:
* -- * -- B -- O -- O -- O (6382cc45b) \ N -- N -- N refs/changes/17/40217/1 (3357a0f17)
You should already have received notification emails for all of the O revisions, and so the following emails describe only the N revisions from the common base, B.
Any revisions marked "omits" are not gone; other references still refer to them. Any revisions marked "discards" are gone forever.
No new revisions were added by this update.
Summary of changes: