[SCM] gawk branch, porting, updated. gawk-4.1.0-6280-g6dd102de

[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  6dd102de23784aa55294d19b7735e0b02c03336a (commit)
       via  280360726f06c0d52b4288328a0c1dbc5f5e10eb (commit)
       via  be27eecbd1c0ecda837ee9c8616b363fefc121ea (commit)
       via  ebbbbb57209b3c8bd4d036a157a36de047d58282 (commit)
      from  786bbb73242967d4f0bb96bdf1ddfdf1ae4dd9c7 (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=6dd102de23784aa55294d19b7735e0b02c03336a

commit 6dd102de23784aa55294d19b7735e0b02c03336a
Merge: 786bbb73 28036072
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Sep 12 06:38:09 2024 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog     |  4 ++++
 Checklist     |  5 ++++-
 doc/ChangeLog |  4 ++++
 doc/gawk.info | 72 ++++++++++++++++++++++++++++++++++-------------------------
 doc/gawk.texi | 11 +++++++++
 5 files changed, 64 insertions(+), 32 deletions(-)


hooks/post-receive
-- 
gawk