[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3068-gfaa9ebb

[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  faa9ebbae62d1539177991b8b48c31a93b4faf3e (commit)
       via  85c609c42657b36dbfbde7528d9d6fd998da0fe4 (commit)
      from  d2262d743f156fcca499b0c1b1706717a686aaa2 (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   |    7 +
 doc/gawk.info   | 1053 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   11 +-
 doc/gawktexi.in |   11 +-
 4 files changed, 554 insertions(+), 528 deletions(-)


hooks/post-receive
-- 
gawk