[SCM] gawk branch, porting, updated. gawk-4.1.0-5652-g56b33ed1

[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  56b33ed1ccc64f37f647958f87e9a91be144fb70 (commit)
       via  2eb20a8671d8dd945d40622b20259681a1bc943a (commit)
       via  c419ea07ec452effc347c089350202a3d9151bcc (commit)
      from  890d79c14cde2991e8916b850b6396876ab02bbc (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=56b33ed1ccc64f37f647958f87e9a91be144fb70

commit 56b33ed1ccc64f37f647958f87e9a91be144fb70
Merge: 890d79c1 2eb20a86
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sat Feb 25 20:43:57 2023 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |   4 +
 doc/gawk.info   | 305 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |  23 +++--
 doc/gawktexi.in |  23 +++--
 4 files changed, 184 insertions(+), 171 deletions(-)


hooks/post-receive
-- 
gawk