[gawk-diffs] [SCM] gawk branch, porting, 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, porting has been updated
       via  aea3b72891e7bcfeef094ff5039838c18e7ebbab (commit)
       via  ab40bfaf0bab83d15fee1082e6fa4bdd775f7021 (commit)
       via  511c52f994faa82ce7595759c17b6ea7bc530288 (commit)
       via  2cdf926511fe6baf587c567f4bf7d517dfc42e34 (commit)
       via  c143b9ed4402a67e02ed13befb5999f32f8afc5f (commit)
       via  2ca3347e3004d985b1a369fd95371f9400f2e248 (commit)
       via  12e3cbe4220792bbcb58f1d5d3dbbcc6e2f7a1db (commit)
      from  3d47e0edfe9dbac583f54cb265063efb9d37fa38 (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 -----------------------------------------------------------------
-----------------------------------------------------------------------

Summary of changes:
 awklib/ChangeLog               |    5 +
 awklib/eg/lib/inplace.awk      |   18 +-
 awklib/eg/network/coreserv.awk |    2 +-
 awklib/extract.awk             |   21 +-
 doc/ChangeLog                  |   14 +
 doc/gawk.info                  |  205 ++--
 doc/gawk.texi                  |   27 +-
 doc/gawkinet.info              | 2563 ++++++++++++++++++++--------------------
 doc/gawkinet.texi              |    2 +-
 doc/gawktexi.in                |   27 +-
 extension/ChangeLog            |   11 +
 extension/inplace.3am          |   14 +-
 test/ChangeLog                 |    5 +
 test/inplace1.ok               |    2 +-
 test/inplace2.ok               |    2 +-
 test/inplace3.ok               |    4 +-
 16 files changed, 1518 insertions(+), 1404 deletions(-)


hooks/post-receive
-- 
gawk