[SCM] gawk branch, porting, updated. gawk-4.1.0-5812-gf2da6122

[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  f2da612228ef5acb94332620ec274b53f7ce5d4f (commit)
       via  1a76960ac5944ea7527ed2a04da9544bd964b919 (commit)
       via  a7269a4d5a5989fbb0d7771fcc6a595d313c8030 (commit)
      from  8340fc7024856e9a8544dfe2fb3e35258185ab1c (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=f2da612228ef5acb94332620ec274b53f7ce5d4f

commit f2da612228ef5acb94332620ec274b53f7ce5d4f
Merge: 8340fc70 1a76960a
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri May 19 11:29:32 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/gawktexi.in | 54 +++++++++++++++++++++++++++++++++++++++++++++++++-----
 1 file changed, 49 insertions(+), 5 deletions(-)


hooks/post-receive
-- 
gawk