This is an automated email from the git hooks/post-receive script.
bernie.ogden pushed a change to branch benchmarking-mu in repository toolchain/abe.
was f07b24b Check for existence of logdirs
The revisions that were on this branch are still contained in other references; therefore, this change does not discard any commits from the repository.