[Dejagnu-commit] [SCM] DejaGNU branch, master, updated. dejagnu_1_4_3-556-g6471c5b

[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  6471c5b8555dad8bf9ed46f5e1dc7e30f07b5cf7 (commit)
      from  6acac269be0bd0d19f1157b89169b646d5fc6944 (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 6471c5b8555dad8bf9ed46f5e1dc7e30f07b5cf7
Author: Ben Elliston <address@hidden>
Date:   Fri Nov 30 09:53:59 2018 +1100

        * INSTALL: Update to latest upstream version.

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

Summary of changes:
 ChangeLog |   1 +
 INSTALL   | 320 +++++++++++++++++++++++++++++++-------------------------------
 2 files changed, 160 insertions(+), 161 deletions(-)


hooks/post-receive
-- 
DejaGNU