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 5aeb3bb605469deb7643587af7a269bc089cd922 (commit)
from f4d9a7060aa87938b39cd397fbbfded4e736fdd8 (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 5aeb3bb605469deb7643587af7a269bc089cd922
Author: Daniel Thibault <daniel.thiba...@drdc-rddc.gc.ca>
Date: Tue Nov 10 14:26:21 2015 +1100
* doc/dejagnu.xml: Update month and year.
* doc/user.xml: Lots of editorial fixes from Daniel Thibault
<daniel.thiba...@drdc-rddc.gc.ca>.
Signed-off-by: Ben Elliston <b...@gnu.org>
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 6 ++++++
doc/dejagnu.xml | 4 ++--
doc/user.xml | 51 ++++++++++++++++++++++++++-------------------------
3 files changed, 34 insertions(+), 27 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
