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

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

at f8e1c909e Pass --interesting_symbols to gather-metrics.sh.

No new revisions were added by this update.