[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-467-g567f771

[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  567f771431686847499354999fd141b6118e8a54 (commit)
       via  19564e696aca506a14ceb4a08aa2b7c7988a2473 (commit)
       via  57e6adcaa52609962670f3eb41c893810dbb8868 (commit)
       via  602c8e6544e079246701737d61bb00d80d115456 (commit)
      from  07fb211522418f8537c24b28dc1ec79da0044658 (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=567f771431686847499354999fd141b6118e8a54

commit 567f771431686847499354999fd141b6118e8a54
Merge: 07fb211 19564e6
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Apr 25 13:22:29 2014 +0300

    Merge branch 'gawk-4.1-stable'


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

Summary of changes:
 ChangeLog       |   12 +
 dfa.c           | 1425 ++++++++++++++++++++++++++-----------------------------
 dfa.h           |   28 +-
 doc/gawk.texi   |    4 +
 doc/gawktexi.in |    4 +
 io.c            |    2 +
 6 files changed, 718 insertions(+), 757 deletions(-)


hooks/post-receive
-- 
gawk