[SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-4816-g11bb6bb

[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  11bb6bb880a57e0af14c95d721efee5428739773 (commit)
       via  1dbaf410e0b3ec754ee4ab78f861d4ef034e7962 (commit)
      from  30b1f73c755dfdc599cf089386d8010d8433c08e (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=11bb6bb880a57e0af14c95d721efee5428739773

commit 11bb6bb880a57e0af14c95d721efee5428739773
Merge: 30b1f73 1dbaf41
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Nov 6 14:19:24 2020 +0200

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 support/ChangeLog        |  4 ++++
 support/dfa.h            | 13 +++++++++++++
 support/regex_internal.c | 19 ++++++++++---------
 support/regex_internal.h |  8 ++++++++
 4 files changed, 35 insertions(+), 9 deletions(-)


hooks/post-receive
-- 
gawk