[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-6243-g584fbea4

[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  584fbea41ec8ae79fa2dcbbfe06f55e0ee0e380f (commit)
       via  361126cabbace3a8a6d7b1422bc5fad5477016f6 (commit)
       via  9dfc09b0fe3a4a8d893f99781b0f981073b19ac7 (commit)
       via  f2b5db761150d170903ff927c2d55370d4840d94 (commit)
      from  b2f9900b1a9b4504ba2220f5c204ba775864f796 (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=584fbea41ec8ae79fa2dcbbfe06f55e0ee0e380f

commit 584fbea41ec8ae79fa2dcbbfe06f55e0ee0e380f
Merge: b2f9900b 361126ca
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Nov 30 17:21:39 2023 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 doc/ChangeLog    |   4 +
 doc/gawk.info    | 654 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi    |   4 +-
 doc/it/ChangeLog |   4 +
 doc/it/gawk.texi | 242 ++++++++++++++------
 5 files changed, 509 insertions(+), 399 deletions(-)


hooks/post-receive
-- 
gawk