[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-5243-g509063d8

[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  509063d85e3dbf5bd18282a6c994c1d1b89fc1d2 (commit)
       via  62ec80d7efa0b559738f0ccab6b0e9b0a72344b0 (commit)
       via  0d4519f6aa19e7529f1b203cf1584a872b4011aa (commit)
      from  1c2e9e694a04c1f3521a9968035a49d67a44b2e6 (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=509063d85e3dbf5bd18282a6c994c1d1b89fc1d2

commit 509063d85e3dbf5bd18282a6c994c1d1b89fc1d2
Merge: 1c2e9e69 62ec80d7
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Apr 6 20:08:56 2022 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 support/ChangeLog | 6 ++++++
 support/dfa.c     | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk