[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-422-g12467fb

[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  12467fb00e058a8af4278efd580b5d909aa3c42d (commit)
       via  a247bbb74aea1f82a73799d25494463663667c54 (commit)
       via  17ac00e1ffa2c18b258c77f6820d57f0085832a0 (commit)
      from  55e88440b48a274e14b395a20181d71f160a4b5a (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=12467fb00e058a8af4278efd580b5d909aa3c42d

commit 12467fb00e058a8af4278efd580b5d909aa3c42d
Merge: 55e8844 a247bbb
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Mar 30 21:27:30 2014 +0300

    Merge branch 'gawk-4.1-stable'


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

Summary of changes:
 ChangeLog       |    4 +
 dfa.c           |  189 ++++++++++++++++++++++++++++++++-----------------------
 doc/ChangeLog   |    4 +
 doc/gawk.texi   |   35 +++++++---
 doc/gawktexi.in |   35 +++++++---
 5 files changed, 169 insertions(+), 98 deletions(-)


hooks/post-receive
-- 
gawk