[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-5767-gd0b2faeb

[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  d0b2faebd5bba9cff133f47f25928aea64caae3a (commit)
       via  5bd265e1921e2cf732f1c191fef2434d4a33970d (commit)
       via  df616f664859ed9e9f71e66641e84f9f12d8d7b3 (commit)
      from  c88b5c1ad50b7297012be968862a37546b0a6646 (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=d0b2faebd5bba9cff133f47f25928aea64caae3a

commit d0b2faebd5bba9cff133f47f25928aea64caae3a
Merge: c88b5c1a 5bd265e1
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Dec 4 21:38:57 2022 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 ChangeLog       |  14 ++
 NEWS            |  17 +-
 awk.h           |   3 +-
 doc/ChangeLog   |   5 +
 doc/gawk.info   | 478 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   2 +-
 doc/gawktexi.in |   2 +-
 main.c          |   6 +-
 symbol.c        |  40 +++--
 9 files changed, 310 insertions(+), 257 deletions(-)


hooks/post-receive
-- 
gawk