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 4e404d84294f27c3de7cffb06869afa64409f286 (commit) from 18c77e3e0433365f15a248a78d9bb53c34d70274 (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 4e404d84294f27c3de7cffb06869afa64409f286 Author: Jacob Bachmeyer <j...@gnu.org> Date: Tue Nov 17 21:16:20 2020 -0600 Mention GNU Automake manual for more information ----------------------------------------------------------------------- Summary of changes: ChangeLog | 7 +++++++ doc/dejagnu.texi | 3 ++- 2 files changed, 9 insertions(+), 1 deletion(-) hooks/post-receive -- DejaGNU _______________________________________________ Dejagnu-commit mailing list Dejagnu-commit@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu-commit