[SCM] gawk branch, porting, updated. gawk-4.1.0-4691-g1d2ae25

[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  1d2ae251ecc86cd6c38fd6fbf5b89c327dcae10a (commit)
       via  d67e86cb0869244fe4124d23def7be08fa6ab4ce (commit)
       via  41b120c7a932b6bb9eccb24b03475a74ca1303ca (commit)
      from  3e5748d68bf8298acec2d8f22121d7db2a46675e (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=1d2ae251ecc86cd6c38fd6fbf5b89c327dcae10a

commit 1d2ae251ecc86cd6c38fd6fbf5b89c327dcae10a
Merge: 3e5748d d67e86c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Jul 15 07:34:31 2021 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |    4 +
 doc/gawk.info   | 1232 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   60 +--
 doc/gawktexi.in |   60 +--
 4 files changed, 615 insertions(+), 741 deletions(-)


hooks/post-receive
-- 
gawk