[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-539-g1d16bc2

[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  1d16bc2525dfd1a8191ac4a419b1ca7af6bb0670 (commit)
       via  e52651945d6a0c66063aefa10438ba6aedf558c0 (commit)
      from  15b155a5f90932577d61e8039374a499647bc423 (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=1d16bc2525dfd1a8191ac4a419b1ca7af6bb0670

commit 1d16bc2525dfd1a8191ac4a419b1ca7af6bb0670
Merge: 15b155a e526519
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Jun 10 23:28:28 2014 +0300

    Merge branch 'gawk-4.1-stable'


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

Summary of changes:
 doc/ChangeLog   |    4 ++++
 doc/gawk.texi   |   36 ++++++++++++++++++++++++------------
 doc/gawktexi.in |   36 ++++++++++++++++++++++++------------
 3 files changed, 52 insertions(+), 24 deletions(-)


hooks/post-receive
-- 
gawk