[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-5819-g132c2a42

[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  132c2a427696389d3d2a88eadcf53cbc5b388c18 (commit)
       via  e94ad4f49a3ef19b9ddbc68a38ee8113b7126d72 (commit)
       via  dd57eca256d82d7edad386961d28272a7dc9c692 (commit)
       via  fbfbeb2f94eab404794d3b94f6d9279193f3f3ba (commit)
       via  240307290f243028846ed200c27e22f8bd6dc114 (commit)
       via  2c6561a4f0293ef973bb99a58b63fe9d372733c1 (commit)
      from  a5ea0eb222419a5c237b2db7d34da320adef88b7 (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=132c2a427696389d3d2a88eadcf53cbc5b388c18

commit 132c2a427696389d3d2a88eadcf53cbc5b388c18
Merge: a5ea0eb2 e94ad4f4
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Feb 2 19:12:59 2023 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 ChangeLog                |   4 +
 NEWS                     |   3 +
 awklib/eg/lib/getopt.awk |   2 +-
 custom.h                 |   9 +-
 doc/ChangeLog            |  12 +
 doc/gawk.info            | 597 ++++++++++++++++++++++++-----------------------
 doc/gawk.texi            |  15 +-
 doc/gawktexi.in          |  15 +-
 8 files changed, 358 insertions(+), 299 deletions(-)


hooks/post-receive
-- 
gawk