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

maxim.kuvyrkov pushed a change to reference refs/changes/43/40243/2 in repository toolchain/jenkins-scripts.

discards 739729d55 Fix header for bare metal benchmarking. new f3571ec65 Fix header for bare metal benchmarking.

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 (739729d55) \ N -- N -- N refs/changes/43/40243/2 (f3571ec65)

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.

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.

Summary of changes: