[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-6142-gdd3e6320

[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  dd3e63207de7a2b9e2d509d987c60afb518c68b5 (commit)
       via  cc498e6edd43712285a4a6fdfd1568abffeaad97 (commit)
      from  7105178072393cad4f74afa17249ada16dd449e9 (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=dd3e63207de7a2b9e2d509d987c60afb518c68b5

commit dd3e63207de7a2b9e2d509d987c60afb518c68b5
Merge: 71051780 cc498e6e
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Oct 11 09:11:03 2023 +0300

    Merge branch 'master' into feature/improve-inet


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

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


hooks/post-receive
-- 
gawk