[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-2588-gf18156c

[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  f18156ca22ef6baba13f36edb250c91a746b5a5a (commit)
      from  6927f0de4c06b60fbb74ea85e0d50f6d4a5f500b (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/texinfo.tex | 3849 +++++++++++++++++++++++++++++++------------------------
 2 files changed, 2172 insertions(+), 1681 deletions(-)


hooks/post-receive
-- 
gawk