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 9950000f4ec0f6cd2c5afbc8ec5413391c20a535 (commit)
from 4e404d84294f27c3de7cffb06869afa64409f286 (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 9950000f4ec0f6cd2c5afbc8ec5413391c20a535
Author: Jacob Bachmeyer <j...@gnu.org>
Date: Tue Nov 17 21:54:36 2020 -0600
Fix errors in manual reported in PR44636
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 8 +++++---
doc/dejagnu.texi | 46 +++++++++++++++++++++++++---------------------
2 files changed, 30 insertions(+), 24 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
