[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3092-gf414221

[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  f414221a8c5904fa2c43256a39ce2e3b1faa2214 (commit)
       via  b92de42c775ab615e2dd49aff0b66da4c2c31be4 (commit)
      from  be0e2af1588b358353941eff27c5ef06da2c90b3 (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   |   6 +
 doc/gawk.info   | 791 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |  11 +-
 doc/gawktexi.in |  11 +-
 4 files changed, 414 insertions(+), 405 deletions(-)


hooks/post-receive
-- 
gawk