[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-1697-g31e83b7

[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  31e83b72eb5a30c5d733c89e233fbbd5cfd60f1b (commit)
       via  e3cc36f1f2f7172ea561664e34bec54c3436297a (commit)
       via  8b7c7f8cc2e37a72cd71771575cf2c37a9c8d59d (commit)
       via  3952172ea5f501a92c4ccf8595ebaee34d29377d (commit)
       via  0d76c6de321ecbf2cfda7d681cfce1ca80420be2 (commit)
      from  6b61626bc554ec39c89bfef45716671fa16331d1 (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       |   11 +
 NEWS            |    3 +
 builtin.c       |   33 +++-
 doc/ChangeLog   |    9 +
 doc/gawk.1      |    3 +-
 doc/gawk.info   |  676 +++++++++++++++++++++++++++++--------------------------
 doc/gawk.texi   |   30 +++-
 doc/gawktexi.in |   30 +++-
 8 files changed, 466 insertions(+), 329 deletions(-)


hooks/post-receive
-- 
gawk