[Dejagnu-commit] [SCM] DejaGNU branch, PR41585, deleted. dejagnu_1_4_3-700-g9533507

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "DejaGNU". The branch, PR41585 has been deleted was 9533507ea4ad9addd4b593bcf1004496f4b22da4 ---

[Dejagnu-commit] [SCM] DejaGNU branch, master, updated. dejagnu_1_4_3-703-gd37c15b

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "DejaGNU". The branch, master has been updated via d37c15b4d569a3d70493653efe82a78c3550e903 (commit) via 205b28531d6df621e624