[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-1432-gaea3b72

[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  aea3b72891e7bcfeef094ff5039838c18e7ebbab (commit)
       via  ab40bfaf0bab83d15fee1082e6fa4bdd775f7021 (commit)
       via  511c52f994faa82ce7595759c17b6ea7bc530288 (commit)
      from  2cdf926511fe6baf587c567f4bf7d517dfc42e34 (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=aea3b72891e7bcfeef094ff5039838c18e7ebbab

commit aea3b72891e7bcfeef094ff5039838c18e7ebbab
Merge: 2cdf926 ab40bfa
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Jun 19 12:21:28 2015 +0300

    Merge branch 'gawk-4.1-stable'


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

Summary of changes:
 awklib/ChangeLog               |    5 +
 awklib/eg/network/coreserv.awk |    2 +-
 awklib/extract.awk             |   21 +-
 doc/ChangeLog                  |    4 +
 doc/gawkinet.info              | 2563 ++++++++++++++++++++--------------------
 doc/gawkinet.texi              |    2 +-
 6 files changed, 1294 insertions(+), 1303 deletions(-)


hooks/post-receive
-- 
gawk