[gawk-diffs] [SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-3631-g165ea7d

[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  165ea7d2f4c29cf7d8d5fa269421269801bf5498 (commit)
       via  b4610675489b3cb1bbce547846dbdcd0263227bf (commit)
       via  ba62ad36edf69ede39194e7e970a3edc1cbe9b47 (commit)
       via  efdaab840d12c04458291a7618d74347a5a7c084 (commit)
       via  6895ebddd274d1c9470e6e8b3191f206dddc4e77 (commit)
       via  37c77a1a7bf4daa2a334e85d741e80c386405cbb (commit)
       via  e51d28d269bca3bd996ee3ccc5928d6e317f060f (commit)
      from  19afceea7c10ab6b107a541a42df5e6f3fdc7de1 (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=165ea7d2f4c29cf7d8d5fa269421269801bf5498

commit 165ea7d2f4c29cf7d8d5fa269421269801bf5498
Merge: 19afcee b461067
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Oct 31 21:57:08 2018 +0200

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 support/ChangeLog |   8 ++
 support/dfa.c     | 400 ++++++++++++++++++++++++++++++++++--------------------
 2 files changed, 258 insertions(+), 150 deletions(-)


hooks/post-receive
-- 
gawk