[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3133-g5d9a38b

[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  5d9a38ba513b6b8216e373f7297eab69eebcfebb (commit)
       via  ae3c6bfca054920ff88501d3c6e663617f611478 (commit)
      from  48f02e6672003d218d4c0348a6add7931522603b (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   |   4 +
 doc/gawk.info   | 866 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   4 +-
 doc/gawktexi.in |   4 +-
 4 files changed, 441 insertions(+), 437 deletions(-)


hooks/post-receive
-- 
gawk