This is an automated email from the git hooks/post-receive script.
bernie.ogden pushed a change to branch uinstance in repository toolchain/abe.
was 2f7c458 WIP: Merge Benchmark.job into host-session
This change permanently discards the following revisions:
discards 2f7c458 WIP: Merge Benchmark.job into host-session