[SCM] gawk branch, porting, updated. gawk-4.1.0-5191-g804d8243

[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  804d82431258674664dc926e48a9044578d380b9 (commit)
       via  48557ded75a7dad3ca5ddea13dfad54496722eed (commit)
       via  29eba696bdad1a9795aab173e7cd4e71d4933502 (commit)
      from  4da45319fb9cc32b92edb6d19af80a0f5949ec2e (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=804d82431258674664dc926e48a9044578d380b9

commit 804d82431258674664dc926e48a9044578d380b9
Merge: 4da45319 48557ded
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Jul 19 10:14:04 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |    8 +
 custom.h        |    1 +
 doc/ChangeLog   |    6 +
 doc/gawk.info   | 1298 +++++++++++++++++++++++++++++++------------------------
 doc/gawk.texi   |  110 +++++
 doc/gawktexi.in |  110 +++++
 main.c          |    9 +-
 7 files changed, 967 insertions(+), 575 deletions(-)


hooks/post-receive
-- 
gawk