[Dejagnu-commit] [SCM] DejaGNU branch, master, updated. dejagnu_1_4_3-582-ge121acc

[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  e121acc539bcbbe5b9e7ff0786906a0d4e64c0cf (commit)
       via  7ff5e4a5af4534b3bdf4539aa22017c6089513cd (commit)
      from  303132d4f11e34679d884e1a380948f2e42faf85 (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 e121acc539bcbbe5b9e7ff0786906a0d4e64c0cf
Author: Ben Elliston <address@hidden>
Date:   Tue Dec 4 20:17:56 2018 +1100

        * doc/dejagnu.texi (Utility Procedures): Improve documentation for
        the procedures in this section.

commit 7ff5e4a5af4534b3bdf4539aa22017c6089513cd
Author: Ben Elliston <address@hidden>
Date:   Tue Dec 4 20:06:56 2018 +1100

    Add an item for grep -n.

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

Summary of changes:
 ChangeLog        |   5 +++
 TODO             |   7 +++
 doc/dejagnu.texi | 130 ++++++++++++++++++++++---------------------------------
 3 files changed, 64 insertions(+), 78 deletions(-)


hooks/post-receive
-- 
DejaGNU