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 b6f7f538df51b8f85a2d81a8dd79365163f8b630 (commit)
from 33121d67a8240edcb21e8ccac3a312cfe6a327ca (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 b6f7f538df51b8f85a2d81a8dd79365163f8b630
Author: Ben Elliston <b...@gnu.org>
Date: Fri Nov 2 09:45:04 2018 +1100
* Makefile.in: Regenerate.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 4 ++++
Makefile.in | 5 +++--
2 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
