[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-6228-g7696f727

[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  7696f7273e46596d7bf9db16690ad40db0d08a05 (commit)
       via  fd414202d2c2a8e47b076ebd8f5741c271f85c92 (commit)
       via  df1f6c441126989efd1b0d45e726c96c2b81abb0 (commit)
       via  d3a2af02415fcef6e45ff4fa748b4b85eb458b80 (commit)
      from  80e499fde2122b682c17b52fc1b2a24f482451b2 (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=7696f7273e46596d7bf9db16690ad40db0d08a05

commit 7696f7273e46596d7bf9db16690ad40db0d08a05
Merge: 80e499fd fd414202
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Nov 16 20:40:42 2023 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 awklib/eg/lib/tocsv.awk |    4 +-
 awklib/eg/prog/igawk.sh |    2 +-
 doc/ChangeLog           |   12 +
 doc/gawk.info           | 1294 ++++++++++++++++++++++++-----------------------
 doc/gawk.texi           |   89 ++--
 5 files changed, 707 insertions(+), 694 deletions(-)


hooks/post-receive
-- 
gawk