[SCM] gawk branch, porting, updated. gawk-4.1.0-6034-g9f7337ba

[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  9f7337ba4100ed85c2c9ef7b8350d55d0cb70fe7 (commit)
       via  361126cabbace3a8a6d7b1422bc5fad5477016f6 (commit)
       via  9dfc09b0fe3a4a8d893f99781b0f981073b19ac7 (commit)
       via  f2b5db761150d170903ff927c2d55370d4840d94 (commit)
      from  9c64944cf91d035780688b348345d991a54b6307 (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=9f7337ba4100ed85c2c9ef7b8350d55d0cb70fe7

commit 9f7337ba4100ed85c2c9ef7b8350d55d0cb70fe7
Merge: 9c64944c 361126ca
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Nov 30 17:20:51 2023 +0200

    Merge branch 'master' into porting


http://git.sv.gnu.org/cgit/gawk.git/commit/?id=361126cabbace3a8a6d7b1422bc5fad5477016f6

commit 361126cabbace3a8a6d7b1422bc5fad5477016f6
Merge: f2b5db76 9dfc09b0
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Nov 30 17:20:31 2023 +0200

    Merge branch 'gawk-5.3-stable'


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

Summary of changes:
 doc/ChangeLog    |   4 +
 doc/gawk.info    | 654 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi    |   4 +-
 doc/it/ChangeLog |   4 +
 doc/it/gawk.texi | 242 ++++++++++++++------
 5 files changed, 509 insertions(+), 399 deletions(-)


hooks/post-receive
-- 
gawk