This is an automated email from the git hooks/post-receive script.
christophe.lyon pushed a change to branch remove-html1-xml in repository toolchain/gcc-compare-results.
was a9c3d14 Remove useless reports:
This change permanently discards the following revisions:
discards a9c3d14 Remove useless reports: