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 6a2899bf3d86100162c41efedd923c01b82d8109 (commit)
via 1e2825e5368f319f97077887d6765fd6bde10628 (commit)
from 1e4010a4d2a8b63c3215dd7492eba38f056bb6e3 (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 6a2899bf3d86100162c41efedd923c01b82d8109
Author: Jacob Bachmeyer <jcb62281+...@gmail.com>
Date: Sat Jul 25 21:57:21 2020 -0500
Add warnings about synchronization with the tested program
commit 1e2825e5368f319f97077887d6765fd6bde10628
Author: Jacob Bachmeyer <j...@gnu.org>
Date: Sun Aug 2 19:20:40 2020 -0500
Update email address
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 10 +++++
MAINTAINERS | 2 +-
doc/dejagnu.texi | 121 ++++++++++++++++++++++++++++++++++++-------------------
3 files changed, 91 insertions(+), 42 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
