[gawk-diffs] [SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-2636-g3ae47a9

[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, feature/memory-work has been updated
       via  3ae47a96f8589f96f92f6e0efd105dbe1305845c (commit)
       via  10c17fe33a10746bd44fc4b62f764ca4c3f3c5a6 (commit)
       via  41915dfdb8cd59fcdf56c8f74b7d6e62448eadfa (commit)
      from  8a4a513dcde86010cecaab561aca541891c70156 (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=3ae47a96f8589f96f92f6e0efd105dbe1305845c

commit 3ae47a96f8589f96f92f6e0efd105dbe1305845c
Merge: 8a4a513 10c17fe
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Mar 23 21:31:16 2017 +0200

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 ChangeLog                      |  4 ++++
 config.sub                     |  7 ++++++-
 extension/build-aux/ChangeLog  |  4 ++++
 extension/build-aux/config.sub |  7 ++++++-
 support/ChangeLog              |  4 ++++
 support/dfa.c                  | 35 ++++++++++++-----------------------
 6 files changed, 36 insertions(+), 25 deletions(-)


hooks/post-receive
-- 
gawk