This is an automated email from the git hooks/post-receive script.
maxim.kuvyrkov pushed a change to reference refs/replace/2f572cf16b2c7f37c3a1247fdea776c640f570ba in repository toolchain/jenkins-scripts.
at e0c86c872 Pass -fdump-statistics to benchmark and remove vect-metric match.
No new revisions were added by this update.