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 f3d2736755c919d57cd7122b251122351107141a (commit)
from 73a9a52f3f5f4b2bf4d74a29a4150fb85e8c4150 (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 f3d2736755c919d57cd7122b251122351107141a
Author: Ben Elliston <b...@gnu.org>
Date: Wed Jan 23 17:58:57 2019 +1100
* doc/dejagnu.texi: Replace "config file" with "configuration
file" throughout.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 5 +++++
doc/dejagnu.texi | 68 ++++++++++++++++++++++++++++----------------------------
2 files changed, 39 insertions(+), 34 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
