[SCM] gawk branch, porting, updated. gawk-4.1.0-5122-g62445b7b

[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  62445b7b00d9b93f101a0a9c3e8fd14b596e360e (commit)
       via  03f79dcb6aff98574c32609c80ecdd6e52730244 (commit)
      from  5ddb56a31cd42d751e3aa215d9c6619148631727 (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=62445b7b00d9b93f101a0a9c3e8fd14b596e360e

commit 62445b7b00d9b93f101a0a9c3e8fd14b596e360e
Merge: 5ddb56a3 03f79dcb
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Jun 20 08:38:56 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |    6 +
 NEWS            |   12 +-
 doc/ChangeLog   |    5 +
 doc/gawk.1      |   17 +-
 doc/gawk.info   | 1367 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   40 +-
 doc/gawktexi.in |   40 +-
 main.c          |    6 +-
 8 files changed, 777 insertions(+), 716 deletions(-)


hooks/post-receive
-- 
gawk