This is an automated email from the git hooks/post-receive script.
christophe.lyon pushed a change to branch logs-in-report in repository toolchain/gcc-compare-results.
was abeb4f9 compare_jobs.sh: Concatenate all diff-* reports after the mai [...]
The revisions that were on this branch are still contained in other references; therefore, this change does not discard any commits from the repository.