[SCM] gawk branch, porting, updated. gawk-4.1.0-6119-g8d0360e7

[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  8d0360e702b63a367990fb50c7176f55761551fd (commit)
       via  6a0101b83ecbc37af3192f5512687031d6064dc4 (commit)
       via  c01c1d0ba90038a47a96c34df10a01959d7e6841 (commit)
      from  cd0adea7fb8250f8e40f08c9655906ff8e828234 (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=8d0360e702b63a367990fb50c7176f55761551fd

commit 8d0360e702b63a367990fb50c7176f55761551fd
Merge: cd0adea7 6a0101b8
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Mar 3 20:51:19 2024 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog |   6 ++
 doc/gawk.info | 196 ++++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi |  12 +++-
 3 files changed, 116 insertions(+), 98 deletions(-)


hooks/post-receive
-- 
gawk