[SCM] gawk branch, porting, updated. gawk-4.1.0-5223-ge6bdd728

[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  e6bdd728169bc36e772703eee0136b76c3ffa4aa (commit)
       via  c50d978b64f385979f308b42ca899bd2b8e06153 (commit)
      from  3813bf664309ff27ecd8c4724452da533ebea169 (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=e6bdd728169bc36e772703eee0136b76c3ffa4aa

commit e6bdd728169bc36e772703eee0136b76c3ffa4aa
Merge: 3813bf66 c50d978b
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Aug 1 22:11:36 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 41 +++++++++++++++++++++++++++++------------
 2 files changed, 33 insertions(+), 12 deletions(-)


hooks/post-receive
-- 
gawk