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

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

was 7cb3f66 Replace build.log on each new build

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