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 04b5dd7c11ad75f2075fed97d07cdb9c0684501e (commit) from 5f3f9ff91362063cf25ead679f4a7bba4bbb961e (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 04b5dd7c11ad75f2075fed97d07cdb9c0684501e Author: Ben Elliston <b...@gnu.org> Date: Wed Nov 28 15:03:05 2018 +1100 Fix for Jacob Bachmeyer's change on 2018-10-31. * Makefile.am (TESTSUITE_FILES): Update filenames. * Makefile.in: Regenerate. ----------------------------------------------------------------------- Summary of changes: ChangeLog | 5 +++++ Makefile.am | 2 +- Makefile.in | 2 +- 3 files changed, 7 insertions(+), 2 deletions(-) hooks/post-receive -- DejaGNU _______________________________________________ Dejagnu-commit mailing list Dejagnu-commit@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu-commit