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 4e981969dbb486feadfcd6a6c8137dd284bb7b22 (commit)
from 6d7bc3d6f21de757e92d5700bd7581c38b508974 (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 4e981969dbb486feadfcd6a6c8137dd284bb7b22
Author: Ben Elliston <[email protected]>
Date: Tue Apr 26 10:13:11 2016 +1000
* doc/dejagnu.texi: Fill more paragraphs.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 4 ++
doc/dejagnu.texi | 191 +++++++++++++++++++++---------------------------------
2 files changed, 78 insertions(+), 117 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
