[SCM] gawk branch, porting, updated. gawk-4.1.0-6061-g945885a7

[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  945885a715e968e0a914f2330dbb3320e58a4251 (commit)
       via  92f32a62595bc534a112ed408ba4e2c2dcd6b02d (commit)
       via  7bd2bc9e8cc16d1c0dfa37f355290f76ed6de3f8 (commit)
      from  d7d5eaf86aee4b638dd423a2e48970c776610fed (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=945885a715e968e0a914f2330dbb3320e58a4251

commit 945885a715e968e0a914f2330dbb3320e58a4251
Merge: d7d5eaf8 92f32a62
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Dec 26 09:30:54 2023 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog     |   6 ++
 doc/ChangeLog |   5 ++
 doc/gawk.info | 276 +++++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi |  31 +++++++
 gawkapi.c     |  43 ++++-----
 5 files changed, 209 insertions(+), 152 deletions(-)


hooks/post-receive
-- 
gawk