[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-768-gc037ac7

[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, master has been updated
       via  c037ac7669150fbc955313fa63928fe00d3c825d (commit)
       via  f9fadc3b2bf0bf9d65a981a712aa9aebc21a699b (commit)
       via  01c916919342d33cddfadb89b0b4e0ad6f6201f0 (commit)
      from  4585a0f2ec53a3d26646925ad269acb9c861347a (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 -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=c037ac7669150fbc955313fa63928fe00d3c825d

commit c037ac7669150fbc955313fa63928fe00d3c825d
Merge: 4585a0f f9fadc3
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Sep 7 20:42:16 2014 +0300

    Merge branch 'gawk-4.1-stable'


-----------------------------------------------------------------------

Summary of changes:
 ChangeLog       |    8 ++++++++
 awk.h           |   11 +----------
 doc/ChangeLog   |    4 ++++
 doc/gawk.texi   |    7 ++++++-
 doc/gawktexi.in |    7 ++++++-
 main.c          |   10 ++++++++++
 symbol.c        |   12 ++++++------
 7 files changed, 41 insertions(+), 18 deletions(-)


hooks/post-receive
-- 
gawk