[SCM] DejaGNU branch, master, updated. post-if-stmt-braces-163-gedbf39f

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  edbf39f2209148faf5b5f8decb76d6d254d807be (commit)
      from  d7401fea18aab6d9619a9c328da0f492115f4e39 (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 edbf39f2209148faf5b5f8decb76d6d254d807be
Author: Ben Elliston <[email protected]>
Date:   Wed Nov 11 07:58:02 2015 +1100

    	* doc/dejagnu.texi: Regenerate.

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

Summary of changes:
 ChangeLog        |    4 +++
 doc/dejagnu.texi |   60 ++++++++++++++++++++++++++++-------------------------
 2 files changed, 36 insertions(+), 28 deletions(-)


hooks/post-receive
-- 
DejaGNU