[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-710-g3b80e5b

[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  3b80e5be5d9efcec1f73deda7fd4910f48834a83 (commit)
       via  46810569c80b88bb468600eefe2eb460487ee0a1 (commit)
      from  70bc75567b2ea3e0309b9171168bc1d2c1cadf43 (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=3b80e5be5d9efcec1f73deda7fd4910f48834a83

commit 3b80e5be5d9efcec1f73deda7fd4910f48834a83
Merge: 70bc755 4681056
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Aug 12 19:32:17 2014 +0300

    Merge branch 'gawk-4.1-stable'


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

Summary of changes:
 ChangeLog             |    6 +++---
 Makefile.am           |    5 ++++-
 Makefile.in           |    5 ++++-
 extension/ChangeLog   |    7 +++----
 extension/Makefile.am |    7 +++++--
 extension/Makefile.in |    7 +++++--
 6 files changed, 24 insertions(+), 13 deletions(-)


hooks/post-receive
-- 
gawk