[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-1572-g0422361

[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  0422361dcbf5461be22aea9e2dbc1a6735593e1b (commit)
       via  19bac92bd8d88cb92d447649643fee48367692ad (commit)
       via  ae8d0857f3f91e09459ebd89c2fcdb632ecef3e6 (commit)
      from  f6f299f82d3c9c9a9cd8275869628667f87ecf2f (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           |    5 +
 doc/gawk.1              |    6 +-
 doc/gawk.info           | 4193 +++++++++++++++++++++++------------------------
 doc/gawk.texi           |   14 +-
 doc/gawktexi.in         |   14 +-
 extension/ChangeLog     |    6 +
 extension/fnmatch.3am   |    2 +-
 extension/fork.3am      |    2 +-
 extension/inplace.3am   |    2 +-
 extension/ordchr.3am    |    4 +-
 extension/readdir.3am   |    2 +-
 extension/readfile.3am  |    4 +-
 extension/revoutput.3am |    2 +-
 extension/revtwoway.3am |    2 +-
 extension/rwarray.3am   |    2 +-
 extension/time.3am      |    4 +-
 16 files changed, 2116 insertions(+), 2148 deletions(-)


hooks/post-receive
-- 
gawk