[SCM] gawk branch, porting, updated. gawk-4.1.0-5969-gc1474bbd

[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, porting has been updated
       via  c1474bbda207ca0cb8a2c8533dd8199526b69d64 (commit)
       via  02c5147dbe1eaea911a2e67bae9251246d28b861 (commit)
      from  83bb0da35b4b9b9721993d804dff2042e1433c21 (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=c1474bbda207ca0cb8a2c8533dd8199526b69d64

commit c1474bbda207ca0cb8a2c8533dd8199526b69d64
Merge: 83bb0da3 02c5147d
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Oct 22 08:54:51 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog |   7 +
 doc/gawk.info | 762 ++++++++++++++++++++++++++++------------------------------
 doc/gawk.texi |  18 --
 3 files changed, 381 insertions(+), 406 deletions(-)


hooks/post-receive
-- 
gawk