[SCM] gawk branch, porting, updated. gawk-4.1.0-6417-g5dec6bf1

[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  5dec6bf1648da90b8480de68f36e76464286ceb1 (commit)
       via  a099e6f8f4fc4fa4ad33cef5d1dcc3c4be545716 (commit)
       via  b8abb6d69da9bf87ebb92dca130754e9377c2771 (commit)
      from  1a53e575cadc8b1dc96fb4d0f5749224b9036754 (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=5dec6bf1648da90b8480de68f36e76464286ceb1

commit 5dec6bf1648da90b8480de68f36e76464286ceb1
Merge: 1a53e575 a099e6f8
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Jan 9 14:00:35 2025 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog |    6 +
 doc/gawk.info | 1266 +++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi |   73 ++--
 3 files changed, 679 insertions(+), 666 deletions(-)


hooks/post-receive
-- 
gawk