[SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-4738-g2f4346b

[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  2f4346b9c8b19b74a3994b405c0a90e11aa6a4a4 (commit)
       via  cde8fd84a060bcae8a5960897ff2e2de576b2e08 (commit)
      from  af8cb270f4ae37ff081c5cb0e249c88eb9d4a441 (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=2f4346b9c8b19b74a3994b405c0a90e11aa6a4a4

commit 2f4346b9c8b19b74a3994b405c0a90e11aa6a4a4
Merge: af8cb27 cde8fd8
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Sep 14 11:04:45 2020 +0300

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 support/ChangeLog |   4 ++
 support/dfa.c     | 167 ++++++++++++++++++++++++++++++------------------------
 2 files changed, 97 insertions(+), 74 deletions(-)


hooks/post-receive
-- 
gawk