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 d7401fea18aab6d9619a9c328da0f492115f4e39 (commit)
from 5aeb3bb605469deb7643587af7a269bc089cd922 (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 d7401fea18aab6d9619a9c328da0f492115f4e39
Author: Ben Elliston <b...@gnu.org>
Date: Tue Nov 10 14:36:32 2015 +1100
* doc/user.xml: Fix runtest output formatting in <programlisting>.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 4 ++++
doc/user.xml | 11 +++++++----
2 files changed, 11 insertions(+), 4 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
