[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-5702-g16b22cd2

[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  16b22cd24ca533f5778a5ac095a72365be7a3918 (commit)
       via  e56990c4cb97de58281b5e6e67f71547ffc57719 (commit)
      from  1532f84968e74ec9a71c57d2e6063f2166b97302 (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=16b22cd24ca533f5778a5ac095a72365be7a3918

commit 16b22cd24ca533f5778a5ac095a72365be7a3918
Merge: 1532f849 e56990c4
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Nov 13 21:13:58 2022 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 NEWS            |   3 +
 doc/ChangeLog   |   1 +
 doc/gawk.info   | 862 +++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |  21 ++
 doc/gawktexi.in |  21 ++
 main.c          |   4 +
 6 files changed, 489 insertions(+), 423 deletions(-)


hooks/post-receive
-- 
gawk