[gawk-diffs] [SCM] gawk branch, gawk-4.1-stable, updated. gawk-4.1.0-395-g3defec0

[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  3defec04e39c4ca6987a21f79686576d9823c653 (commit)
      from  f215e2b823693103796cd71493b90300f54adba4 (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:
 awklib/eg/lib/groupawk.in |    3 +-
 awklib/eg/prog/alarm.awk  |    3 +-
 awklib/eg/prog/cut.awk    |    3 +-
 awklib/eg/prog/egrep.awk  |    3 +-
 awklib/eg/prog/id.awk     |    3 +-
 awklib/eg/prog/labels.awk |    3 +-
 awklib/eg/prog/tee.awk    |    6 +-
 awklib/eg/prog/uniq.awk   |    3 +-
 doc/ChangeLog             |    4 +
 doc/gawk.info             | 1193 ++++++++++++++++++++++-----------------------
 doc/gawk.texi             |   93 ++--
 doc/gawktexi.in           |   93 ++--
 12 files changed, 678 insertions(+), 732 deletions(-)


hooks/post-receive
-- 
gawk