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 1a1a2d4fa392847facd2dae6b01ea05e27beac1c (commit)
via 256d7443eb62c3d3bb25181c6fe59dcb72a01a8e (commit)
from 2f6e46b9820647476ddd568e14d76661abb4f493 (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 1a1a2d4fa392847facd2dae6b01ea05e27beac1c
Author: Ben Elliston <b...@gnu.org>
Date: Thu Dec 20 21:44:40 2018 +1100
* NEWS: Add item for new dejagnu command.
commit 256d7443eb62c3d3bb25181c6fe59dcb72a01a8e
Author: Ben Elliston <b...@gnu.org>
Date: Thu Dec 20 21:43:14 2018 +1100
* Makefile.am (EXTRA_DIST): Remove $(XML).
* Makefile.in: Regenerate.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 7 +++++++
Makefile.am | 2 +-
Makefile.in | 2 +-
NEWS | 4 ++++
4 files changed, 13 insertions(+), 2 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
