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 b51a38c4410bbff17d4296fcb1fda13313b251ac (commit)
from 7d63d7a08cc11858904b44edaf32d1bc2a52ff0f (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 b51a38c4410bbff17d4296fcb1fda13313b251ac
Author: Ben Elliston <b...@gnu.org>
Date: Wed Jan 2 20:24:47 2019 +1100
* Makefile.am (DISTCLEANFILES): Don't use this.
(CLEANFILES): Use this instead.
* Makefile.in: Regenerate.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 6 ++++++
Makefile.am | 2 +-
Makefile.in | 4 ++--
3 files changed, 9 insertions(+), 3 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
