This is an automated email from the git hooks/post-receive script.
bernie.ogden pushed a change to branch bernie/benchmarking-uinstance in repository toolchain/abe.
was 790d41c benchmark.sh: Rename GCC to something more generic
The revisions that were on this branch are still contained in other references; therefore, this change does not discard any commits from the repository.