|
| From: | Jacob Bachmeyer |
| Subject: | [Dejagnu-commit] [SCM] DejaGNU branch, PR42399, deleted. dejagnu_1_4_3-761-g55f9826 |
| Date: | Mon, 31 Aug 2020 21:54:27 -0400 (EDT) |
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, PR42399 has been deleted
was 55f9826c50a59c6c86e221dc9abfbbbd0d7ef0b6
-----------------------------------------------------------------------
55f9826c50a59c6c86e221dc9abfbbbd0d7ef0b6 Add warnings about synchronization
with the tested program
-----------------------------------------------------------------------
hooks/post-receive
--
DejaGNU
| [Prev in Thread] | Current Thread | [Next in Thread] |