[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4491-gcef627d

[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  cef627d8acc3988c96330b4276ad6424d82e7349 (commit)
       via  cde8fd84a060bcae8a5960897ff2e2de576b2e08 (commit)
      from  da5a29cd17183332f1a2d015ac268726809ecd0c (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=cef627d8acc3988c96330b4276ad6424d82e7349

commit cef627d8acc3988c96330b4276ad6424d82e7349
Merge: da5a29c cde8fd8
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Sep 14 11:04:10 2020 +0300

    Merge branch 'master' into feature/improve-inet


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

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


hooks/post-receive
-- 
gawk