[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-5791-ge7c25a7e

[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  e7c25a7eddafcce8146b42e56e538337409b085b (commit)
       via  5d02226c7ac771971ed112e6d0e5078ada1e91d8 (commit)
       via  7c04a1e20121a060154acf96f85f236c6cb3c53f (commit)
       via  31de198aeda85a83f3a2b8eca61403294cfb153e (commit)
      from  10d22102228f49135d01bf919e0b292643fa6f93 (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=e7c25a7eddafcce8146b42e56e538337409b085b

commit e7c25a7eddafcce8146b42e56e538337409b085b
Merge: 10d22102 5d02226c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Dec 23 09:46:22 2022 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 doc/it/ChangeLog   |   6 ++
 doc/it/gawktexi.in | 106 +++++++++++++++++-------
 doc/it/gendocs.sh  |  86 ++++++++------------
 doc/it/texinfo.tex | 233 ++++++++++++++++++++++++++---------------------------
 4 files changed, 234 insertions(+), 197 deletions(-)


hooks/post-receive
-- 
gawk