[SCM] gawk branch, porting, updated. gawk-4.1.0-6420-g06cd7f7c

[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  06cd7f7c5380edc5182132f0ac9e8051c105c9e2 (commit)
       via  e22dc22221bcfc8d57163138a4716d71cd5ab12f (commit)
       via  a528a6fa23f3d2d8b36eaa07f22616be444a02cf (commit)
      from  5dec6bf1648da90b8480de68f36e76464286ceb1 (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=06cd7f7c5380edc5182132f0ac9e8051c105c9e2

commit 06cd7f7c5380edc5182132f0ac9e8051c105c9e2
Merge: 5dec6bf1 e22dc222
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jan 12 10:11:58 2025 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog |    7 +
 doc/gawk.info | 1082 ++++++++++++++++++++++++++++-----------------------------
 doc/gawk.texi |   16 +-
 3 files changed, 556 insertions(+), 549 deletions(-)


hooks/post-receive
-- 
gawk