[SCM] gawk branch, porting, updated. gawk-4.1.0-6047-g8089046e

[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  8089046ec19b7fcbb420efcccf12237fd14755a8 (commit)
       via  a91b98498fab098fd9a4c4690b79d4c87483e47c (commit)
      from  89c1dac33770737754549d02cfdd0d83a1b997bd (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=8089046ec19b7fcbb420efcccf12237fd14755a8

commit 8089046ec19b7fcbb420efcccf12237fd14755a8
Merge: 89c1dac3 a91b9849
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Dec 10 19:52:12 2023 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog |  4 ++++
 doc/it/gawk.texi | 28 +++++-----------------------
 2 files changed, 9 insertions(+), 23 deletions(-)


hooks/post-receive
-- 
gawk