[gawk-diffs] [SCM] gawk branch, gawk-4.0-stable, updated. 555c01ad237512c6b2f328cb7788eb95490358e8

[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.0-stable has been updated
       via  555c01ad237512c6b2f328cb7788eb95490358e8 (commit)
       via  adfc5dcacfba9a498f4dc913c3d50281a2d98a2b (commit)
      from  ed4def1cbda16e7014180bfe502bbdccc6a8f2fc (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/awkcard.in |    8 +-
 doc/gawk.info  |  416 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi  |    8 +-
 4 files changed, 223 insertions(+), 214 deletions(-)


hooks/post-receive
-- 
gawk