[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-1397-ged517ae

[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  ed517ae427fed8f8dc9bf250669bcb427ab4d91e (commit)
       via  3dfa6d4772140dcf41453a71cb4e53cde1f4cc6d (commit)
      from  b6963495dffd0bc11e2007b9854ad34d14b0b29c (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=ed517ae427fed8f8dc9bf250669bcb427ab4d91e

commit ed517ae427fed8f8dc9bf250669bcb427ab4d91e
Merge: b696349 3dfa6d4
Author: Arnold D. Robbins <address@hidden>
Date:   Mon May 18 11:22:13 2015 +0300

    Merge branch 'gawk-4.1-stable'


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

Summary of changes:
 doc/ChangeLog   |    5 +++++
 doc/gawk.texi   |   13 +++++++++++++
 doc/gawktexi.in |   13 +++++++++++++
 3 files changed, 31 insertions(+), 0 deletions(-)


hooks/post-receive
-- 
gawk