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 updated
via 55f9826c50a59c6c86e221dc9abfbbbd0d7ef0b6 (commit)
from 264bd34c28a16e18860dbc69a21a96c1be130b08 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 55f9826c50a59c6c86e221dc9abfbbbd0d7ef0b6
Author: Jacob Bachmeyer <jcb62281+...@gmail.com>
Date: Sat Jul 25 21:57:21 2020 -0500
Add warnings about synchronization with the tested program
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 10 +++++
doc/dejagnu.texi | 121 ++++++++++++++++++++++++++++++++++++-------------------
2 files changed, 90 insertions(+), 41 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
