[SCM] gawk branch, porting, updated. gawk-4.1.0-6207-g940b6e4f

[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  940b6e4f3fa1e73eab0ec94477bd9aec818e0994 (commit)
       via  37011ba4fe7f5022301446f7ad21e310e4b1e635 (commit)
       via  d60aa167774aaecd71e680b9082c98fd0ac39f14 (commit)
       via  3d1aa83d7bc89370faa8b6fc9cbfffecdb113d3a (commit)
      from  fe87ce2c62ce1e216c03e5559b42591dbee7e4b0 (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=940b6e4f3fa1e73eab0ec94477bd9aec818e0994

commit 940b6e4f3fa1e73eab0ec94477bd9aec818e0994
Merge: fe87ce2c 37011ba4
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Jul 30 19:48:50 2024 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog |  12 ++
 doc/gawk.info | 404 +++++++++++++++++++++++++++++-----------------------------
 doc/gawk.texi |  11 +-
 3 files changed, 226 insertions(+), 201 deletions(-)


hooks/post-receive
-- 
gawk