[SCM] gawk branch, porting, updated. gawk-4.1.0-5124-g6c8ca5b9

[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  6c8ca5b953ce1d57d1fbecb92cc901fa06fd1918 (commit)
       via  d43b469f0b189cb0ed7d5aa88d1834249cc5f415 (commit)
      from  62445b7b00d9b93f101a0a9c3e8fd14b596e360e (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=6c8ca5b953ce1d57d1fbecb92cc901fa06fd1918

commit 6c8ca5b953ce1d57d1fbecb92cc901fa06fd1918
Merge: 62445b7b d43b469f
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jun 22 10:18:35 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |   5 +++
 doc/it/gawk.1      |  18 ++++++---
 doc/it/gawktexi.in | 113 +++++++++++++++++++++++++++++++----------------------
 3 files changed, 85 insertions(+), 51 deletions(-)


hooks/post-receive
-- 
gawk