[Dejagnu-commit] [SCM] DejaGNU branch, PR71624, deleted. dejagnu_1_4_3-912-g42979bd

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, PR71624 has been deleted was 42979bd3b90ef3e0004653912423de8589eab0be ---

[Dejagnu-commit] [SCM] DejaGNU branch, master, updated. dejagnu_1_4_3-912-g42979bd

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 42979bd3b90ef3e0004653912423de8589eab0be (commit) from ca371cf9c48186716d26