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

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

was 7b143a2 Print hostname and cwd in the diff-* files.

This change permanently discards the following revisions:

discards 7b143a2 Print hostname and cwd in the diff-* files.