[Dejagnu-commit] [SCM] DejaGNU branch, master, updated. dejagnu_1_4_3-861-gc5964e8

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 c5964e8fa2a8c3657cd6f6fef63d43451eedac7d (commit) via 4ae67fc9d751afc1ca70

[Dejagnu-commit] [SCM] DejaGNU branch, PR53427, deleted. dejagnu_1_4_3-861-gc5964e8

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, PR53427 has been deleted was c5964e8fa2a8c3657cd6f6fef63d43451eedac7d ---