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

bernie.ogden pushed a change to branch bernie/benchmarking-agents in repository toolchain/abe.

was 123a21f Make Benchmark.job delete the socket after build phase

This change permanently discards the following revisions:

discards 123a21f Make Benchmark.job delete the socket after build phase discards 315ecde Split Benchmark.job into build and run phases, accept arbitra [...]