[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-112-g012825a

[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  012825acfa2f4b8f83d82b8d7c0f112a8f3d6ca3 (commit)
       via  3654fe80ee01c5ee0142a3d6bde49abdd5139b5e (commit)
      from  6b3e0a2bbc7e30feb6db2da69b9cdd731c111e60 (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=012825acfa2f4b8f83d82b8d7c0f112a8f3d6ca3

commit 012825acfa2f4b8f83d82b8d7c0f112a8f3d6ca3
Merge: 6b3e0a2 3654fe8
Author: Arnold D. Robbins <address@hidden>
Date:   Sat Sep 28 21:18:50 2013 +0300

    Merge branch 'gawk-4.1-stable'

diff --cc ChangeLog
index fe593ae,aed6345..18a3ae1
--- a/ChangeLog
+++ b/ChangeLog
@@@ -1,10 -1,7 +1,14 @@@
+ 2013-09-28         Arnold D. Robbins     <address@hidden>
+ 
+       * dfa.c: Sync with GNU grep.
+ 
 +2013-09-25         Arnold D. Robbins     <address@hidden>
 +
 +      * builtin.c (do_rand): Make the result more random by calling
 +      random() twice. See the comment in the code. Thanks to
 +      Bob Jewett <address@hidden> for the report and
 +      the fix.
 +
  2013-09-24         Arnold D. Robbins     <address@hidden>
  
        * debug.c (find_rule): Handle case where lineno is zero. Can happen

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

Summary of changes:
 ChangeLog |    4 +++
 dfa.c     |   68 ++++++++++++++++++++++++++++++------------------------------
 2 files changed, 38 insertions(+), 34 deletions(-)


hooks/post-receive
-- 
gawk