[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3671-g5a31075

[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  5a31075ed15365b4c932eb129976ac4f311571aa (commit)
       via  d8a4a1e3a9096250a3938b60b90c593fe3f49fc2 (commit)
      from  d5ee571f7fd7a99d4fb66894596a03a74d2ca488 (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 ++
 Checklist             |   3 +-
 README.cvs            |  20 --------
 doc/ChangeLog         |   6 +++
 doc/gawk.info         |   2 +-
 doc/gawk.texi         |   4 +-
 doc/gawktexi.in       |   4 +-
 doc/gawkworkflow.info | 138 +++++++++++++++++++++++++-------------------------
 doc/gawkworkflow.texi |  10 ++--
 doc/wordlist          |   3 ++
 10 files changed, 93 insertions(+), 101 deletions(-)
 delete mode 100644 README.cvs


hooks/post-receive
-- 
gawk