[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-5798-g01721cbf

[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  01721cbf517dd60b9edbc3e315ac7d5b25e8766c (commit)
       via  7da3b5cf70a2c675b724318783533fa245b6926b (commit)
       via  c4952e65db78afdc54dc59edfd5af00c94b55fbe (commit)
      from  abef3d6bb4035d883e13d03a3d67ead2c4fbe529 (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=01721cbf517dd60b9edbc3e315ac7d5b25e8766c

commit 01721cbf517dd60b9edbc3e315ac7d5b25e8766c
Merge: abef3d6b 7da3b5cf
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jan 1 21:31:09 2023 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 helpers/ChangeLog | 5 +++++
 helpers/testdfa.c | 4 +++-
 2 files changed, 8 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk