[SCM] gawk branch, porting, updated. gawk-4.1.0-5150-g1fec2920

[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  1fec29203476e91498cbeb4ccf0d5a6f6d2032dd (commit)
       via  ff1f652ddb88dcd84edaffa9d2e5fe331aefabc9 (commit)
       via  77aa3567360cf278addefe158d5c5038ac17a374 (commit)
      from  f698822694c700efa4a762ad568a53a260d24633 (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=1fec29203476e91498cbeb4ccf0d5a6f6d2032dd

commit 1fec29203476e91498cbeb4ccf0d5a6f6d2032dd
Merge: f6988226 ff1f652d
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Jul 7 20:31:22 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog      |  5 +++++
 doc/gawk.info      |  6 ++++--
 doc/gawk.texi      |  6 ++++--
 doc/gawktexi.in    |  4 +++-
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 25 +++++++++++--------------
 6 files changed, 31 insertions(+), 19 deletions(-)


hooks/post-receive
-- 
gawk