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

bernie.ogden pushed a change to branch inserted_src in repository toolchain/semiautobench.

from a0bdff0 Remove unneeded packages new 4b312d2 Comment to explain socket deletion new a589109 Get local copy of source new 518536f Move agent request to just before it is needed new 812b555 Update the way we tell abe where to find the source

The 4 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.

Summary of changes: invoke_session_debian | 22 ++++++++++++++-------- 1 file changed, 14 insertions(+), 8 deletions(-)