[Tcwg-commits] [toolchain/gcc-compare-results] branch exec-ratio deleted (was ad8c724)

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

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

was ad8c724 Warn if all execution tests either passed or failed.

The revisions that were on this branch are still contained in other references; therefore, this change does not discard any commits from the repository.