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 3e509af89efb558191517fb918538b74efcfa17c (commit)
from b733213d023ebd27af728bb3471dcca91c1243da (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 3e509af89efb558191517fb918538b74efcfa17c
Author: Ben Elliston <b...@gnu.org>
Date: Mon Mar 28 17:01:13 2016 +1100
This proc is never used. --xml sets $xml, and that's it.
* lib/framework.exp (check_xml): Remove unused proc.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 4 ++++
lib/framework.exp | 14 +++-----------
2 files changed, 7 insertions(+), 11 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
