[gawk-diffs] [SCM] gawk branch, gawk-4.1-stable, updated. gawk-4.1.0-464-g0d487f2

[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  0d487f23486bae6721650e37b746fdb1d1a67977 (commit)
       via  393460d20fcc982c3d71749ca3ef4192cb01defb (commit)
      from  ab0f848957a4b9d891e7e793cd232cc4a8e61fac (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 +
 dfa.c           |   80 ++++-
 doc/ChangeLog   |    6 +
 doc/gawk.1      |    3 +-
 doc/gawk.info   | 1042 +++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   13 +-
 doc/gawktexi.in |   13 +-
 7 files changed, 609 insertions(+), 552 deletions(-)


hooks/post-receive
-- 
gawk