[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-6025-g5aebc953

[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  5aebc953c51b9608a83f1ae81eac947852e958de (commit)
       via  aa3c126492db41b7aaae4320416f59cde4247a13 (commit)
       via  a7756ca5bf9575aa787540c24f7073b6a4820cd2 (commit)
       via  1e727f4008e86935f1762c812c41430c422763b9 (commit)
      from  88177d6bed88d2f68744250bd387438ce4d84a3f (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=5aebc953c51b9608a83f1ae81eac947852e958de

commit 5aebc953c51b9608a83f1ae81eac947852e958de
Merge: 88177d6b aa3c1264
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri May 19 11:50:32 2023 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 doc/ChangeLog   |    4 +
 doc/gawk.info   | 1062 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |    6 +-
 doc/gawktexi.in |    4 +-
 4 files changed, 540 insertions(+), 536 deletions(-)


hooks/post-receive
-- 
gawk