[SCM] gawk branch, porting, updated. gawk-4.1.0-5733-ga6550c53

[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  a6550c53cb3fd307a64ac0a4c02142d17de2d7c7 (commit)
       via  fd162a7fd6a5e87894856e9772eb3ecf8acc0d45 (commit)
       via  486f7d5c5b6a427d933101d75f21dd5a1115d8b0 (commit)
      from  1cfcb758f5bf86038d118386d61c13017a0e4b96 (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=a6550c53cb3fd307a64ac0a4c02142d17de2d7c7

commit a6550c53cb3fd307a64ac0a4c02142d17de2d7c7
Merge: 1cfcb758 fd162a7f
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Apr 3 14:25:36 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 32 ++++++++++++++++++++++++++------
 2 files changed, 30 insertions(+), 6 deletions(-)


hooks/post-receive
-- 
gawk