[Dejagnu-commit] [SCM] DejaGNU branch, master, updated. dejagnu_1_4_3-557-g12028b9

[Ben Elliston]

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  12028b93c50d35b79fd73860eb6d011b00a6d11c (commit)
      from  6471c5b8555dad8bf9ed46f5e1dc7e30f07b5cf7 (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 12028b93c50d35b79fd73860eb6d011b00a6d11c
Author: Ben Elliston <address@hidden>
Date:   Fri Nov 30 12:07:55 2018 +1100

        * lib/framework.exp (isremote): New.
        * doc/dejagnu.texi (isremote procedure): Document it.
        * NEWS: Mention isremote.

-----------------------------------------------------------------------

Summary of changes:
 ChangeLog         |  6 ++++++
 NEWS              |  4 ++++
 doc/dejagnu.texi  | 18 ++++++++++++++++--
 lib/framework.exp |  6 ++++++
 4 files changed, 32 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
DejaGNU