[SCM] gawk branch, porting, updated. gawk-4.1.0-6379-g07badb88

[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  07badb8852c8a2d18fcd7cef6a0bef312f56062a (commit)
       via  31765b169be914eac86b5023911b6c645ef5e782 (commit)
       via  fd42f9b92a03e2de414504ff5a49448cb831252b (commit)
      from  956daed987e910fd34296bb472cc0b69491226c8 (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=07badb8852c8a2d18fcd7cef6a0bef312f56062a

commit 07badb8852c8a2d18fcd7cef6a0bef312f56062a
Merge: 956daed9 31765b16
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Nov 4 07:40:39 2024 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog |    6 +
 doc/gawk.info | 1124 +++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi |   31 +-
 3 files changed, 579 insertions(+), 582 deletions(-)


hooks/post-receive
-- 
gawk