[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-516-gebc6bf4

[Arnold Robbins]

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 "gawk".

The branch, master has been updated
       via  ebc6bf4dbef0532bcf14b3ccdaec7c4c447f95dc (commit)
       via  c503fbaba8667315946913d865e16d3c97fbe21f (commit)
      from  d90b79ae60682ab40c661befdb948bca7fe47d5d (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 -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=ebc6bf4dbef0532bcf14b3ccdaec7c4c447f95dc

commit ebc6bf4dbef0532bcf14b3ccdaec7c4c447f95dc
Merge: d90b79a c503fba
Author: Arnold D. Robbins <address@hidden>
Date:   Sun May 25 21:08:55 2014 +0300

    Merge branch 'gawk-4.1-stable'


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

Summary of changes:
 doc/ChangeLog   |    1 +
 doc/gawk.texi   |  185 +++++++++++++++++++++++++++++--------------------------
 doc/gawktexi.in |  185 +++++++++++++++++++++++++++++--------------------------
 3 files changed, 197 insertions(+), 174 deletions(-)


hooks/post-receive
-- 
gawk