[SCM] DejaGNU branch, master, updated. dejagnu_1_4_3-670-g73a9a52

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  73a9a52f3f5f4b2bf4d74a29a4150fb85e8c4150 (commit)
      from  be2257674498a97bd600af4f3634bf3275679246 (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 73a9a52f3f5f4b2bf4d74a29a4150fb85e8c4150
Author: Jacob Bachmeyer <[email protected]>
Date:   Wed Jan 23 17:47:45 2019 +1100

    	* doc/dejagnu.texi (Command line option variables): Improve table
    	formatting to fix overlapping columns and revise text slightly.
    
    Signed-off-by: Ben Elliston <[email protected]>

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

Summary of changes:
 ChangeLog        |  5 +++++
 doc/dejagnu.texi | 27 ++++++++-------------------
 2 files changed, 13 insertions(+), 19 deletions(-)


hooks/post-receive
-- 
DejaGNU