[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-2908-g5d7845e

[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  5d7845e424e3ccb9fed4ba6bbb03be322a1c40f0 (commit)
       via  fb0b2663915846fb275ce9c04b78370c6bf9f2e4 (commit)
      from  57801f2be5b7548e2dba148a54c0b0542a4240c7 (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:
 doc/ChangeLog   |    2 +
 doc/gawk.info   | 1134 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   35 +-
 doc/gawktexi.in |   35 +-
 4 files changed, 589 insertions(+), 617 deletions(-)


hooks/post-receive
-- 
gawk