[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-424-ge513839

[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  e5138395782c7dba62c6001a542c5c1e9555e83d (commit)
       via  d5c54d68d8657428bc8e1d4280152ec24adeacf6 (commit)
      from  12467fb00e058a8af4278efd580b5d909aa3c42d (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=e5138395782c7dba62c6001a542c5c1e9555e83d

commit e5138395782c7dba62c6001a542c5c1e9555e83d
Merge: 12467fb d5c54d6
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Mar 31 21:32:03 2014 +0300

    Merge branch 'gawk-4.1-stable'


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

Summary of changes:
 extension/ChangeLog    |    6 ++++++
 extension/configure    |    2 +-
 extension/configure.ac |    2 +-
 3 files changed, 8 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
gawk