[gawk-diffs] [SCM] gawk branch, gawk-4.1-stable, updated. gawk-4.1.0-233-gd80438a

[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  d80438ac6fef9137ab0450f02cd507d422aa9c32 (commit)
       via  6994c5d1fc086915699a04bba84596c6fbf488da (commit)
       via  c40640f98379cbe112277033e3a8ab4caaa35ab8 (commit)
       via  dad57e4fdd815c9038267ec0fc7aa593f20b0a05 (commit)
      from  0a66ebd338de385b08e8cf80c39b99f5abc205db (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                   |   15 +
 array.c                     |    2 +-
 awk.h                       |    1 +
 awklib/eg/lib/quicksort.awk |    3 +-
 awklib/eg/prog/cut.awk      |    2 +-
 builtin.c                   |    4 +-
 configure                   |    4 +-
 configure.ac                |    4 +-
 doc/ChangeLog               |    5 +
 doc/gawk.info               |  923 ++++++++++++++++++++++---------------------
 doc/gawk.texi               |  166 +++++----
 doc/gawktexi.in             |  166 +++++----
 gawkapi.c                   |  117 +++---
 13 files changed, 740 insertions(+), 672 deletions(-)


hooks/post-receive
-- 
gawk