This is an automated email from the git hooks/post-receive script.
maxim.kuvyrkov pushed a change to reference refs/changes/53/39753/1 in repository toolchain/jenkins-scripts.
discards b22d3a7ef Pass -fdump-tree-vect-details instead of -fmetric-vect. adds 0afa7c528 Pass -fdump-tree-vect-details instead of -fmetric-vect.
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 (b22d3a7ef) \ N -- N -- N refs/changes/53/39753/1 (0afa7c528)
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: