[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-6002-g9202761a

[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  9202761a3aa23d2a8057e21c5a148cbf9279996d (commit)
       via  e26e3eed5c17af799962e22d59b67aadec25387e (commit)
       via  b9da24baaf9746732837e768787b453a1de28752 (commit)
      from  116d2568cbf8a6f4daa7012e41c0876d530bb691 (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=9202761a3aa23d2a8057e21c5a148cbf9279996d

commit 9202761a3aa23d2a8057e21c5a148cbf9279996d
Merge: 116d2568 e26e3eed
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sat Apr 22 23:16:13 2023 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 support/ChangeLog |  4 ++++
 support/verify.h  | 16 +++++++++++-----
 2 files changed, 15 insertions(+), 5 deletions(-)


hooks/post-receive
-- 
gawk