[SCM] gawk branch, porting, updated. gawk-4.1.0-5128-g337ff4d3

[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  337ff4d388a85b4f603246c6f5acf48375994dd1 (commit)
       via  488500a492d98184cd07f96219184d7445d06be5 (commit)
      from  e01d04269adae7fc9ab0dc0903c0394dbad79fbf (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=337ff4d388a85b4f603246c6f5acf48375994dd1

commit 337ff4d388a85b4f603246c6f5acf48375994dd1
Merge: e01d0426 488500a4
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Jun 27 10:22:28 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |   5 ++
 doc/it/gawk.1      |  17 ++++-
 doc/it/gawktexi.in | 215 ++++++++++++++++++++++++++++++++++++++++++++++++++++-
 3 files changed, 234 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
gawk