[Tcwg-commits] [toolchain/gcc-compare-results] branch html_better deleted (was 6892892)

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

christophe.lyon pushed a change to branch html_better in repository toolchain/gcc-compare-results.

was 6892892 For HTML/XML reports, show improvements as BETTER (green).

This change permanently discards the following revisions:

discards 6892892 For HTML/XML reports, show improvements as BETTER (green).