[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3074-ga395c25

[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  a395c25fa379973b5ca300c4b8b4b4426412882b (commit)
       via  84d5de360049081bb12d4edaf2377dcccfa5ad95 (commit)
       via  650d092e3a44122768055580009190953fba7f68 (commit)
      from  215cd91db5b8e049b6fa06257fb498909f5e6684 (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:
 ChangeLog                      |   4 +
 config.sub                     |  74 +++--
 doc/ChangeLog                  |   7 +-
 doc/gawk.info                  | 630 ++++++++++++++++++++---------------------
 doc/gawk.texi                  |   2 +-
 doc/gawktexi.in                |   2 +-
 extension/build-aux/ChangeLog  |   4 +
 extension/build-aux/config.sub |  74 +++--
 8 files changed, 429 insertions(+), 368 deletions(-)


hooks/post-receive
-- 
gawk