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 935a51f3c66ece357ce0d18f3aa3627a13cef7d5 (commit)
from 417b59616a5ce4c5e752c34e11fe5ddc0f41b80c (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 935a51f3c66ece357ce0d18f3aa3627a13cef7d5
Author: Jacob Bachmeyer <j...@gnu.org>
Date: Sun Oct 20 20:52:06 2024 -0500
Fix typo in reference manual
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 7 +++++++
doc/dejagnu.texi | 2 +-
2 files changed, 8 insertions(+), 1 deletion(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
