[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4569-g9f3c5e8

[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/improve-inet has been updated
       via  9f3c5e8449648f328642ab01268ecead980d0c5c (commit)
       via  1dbaf410e0b3ec754ee4ab78f861d4ef034e7962 (commit)
      from  4d6d3d811029f2320b0cab7be5d6ba61de49de45 (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=9f3c5e8449648f328642ab01268ecead980d0c5c

commit 9f3c5e8449648f328642ab01268ecead980d0c5c
Merge: 4d6d3d8 1dbaf41
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Nov 6 14:19:14 2020 +0200

    Merge branch 'master' into feature/improve-inet


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

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