[gawk-diffs] [SCM] gawk branch, gawk-4.1-stable, updated. gawk-4.1.0-40-g51e2a88

[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, gawk-4.1-stable has been updated
       via  51e2a881f78f6bddf749594e64c84fff9b23b5e0 (commit)
       via  b2c75c65c62fde77e26660119f795d3380a18528 (commit)
       via  7f7586a2195cc43f8856afa6d261353dc8b63b79 (commit)
      from  972b5670427d8be2254fcf4cb7bbf4be5bb95976 (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:
 TODO            |    4 +
 doc/ChangeLog   |    7 +-
 doc/gawk.info   |  571 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   13 ++
 doc/gawktexi.in |   13 ++
 5 files changed, 328 insertions(+), 280 deletions(-)


hooks/post-receive
-- 
gawk