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

Maxim Kuvyrkov pushed a change to branch linaro-local/maxim-exec_shell in repository toolchain/dejagnu.

discards 722714e Kill PIDs

This update removed existing revisions from the reference, leaving the reference pointing at a previous point in the repository history.

* -- * -- N refs/heads/linaro-local/maxim-exec_shell (f6177d0) \ O -- O -- O (722714e)

Any revisions marked "omits" are not gone; other references still refer to them. Any revisions marked "discards" are gone forever.

No new revisions were added by this update.

Summary of changes: lib/remote.exp | 26 +++++++------------------- 1 file changed, 7 insertions(+), 19 deletions(-)