[SCM] gawk branch, porting, updated. gawk-4.1.0-4680-gd032f41

[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  d032f41205002e415e78cfc07a6ed09213d7b4ce (commit)
       via  4f6a10757a6355e6e4cd0d3418afc9fd80a7ad0f (commit)
       via  d1331d9a9e6053341b6027a91944d7f099ff5de3 (commit)
       via  727f3f71878b35fb58fca41a6d5465e3b64b4dbc (commit)
      from  a8712d658c202f1823add2e2367728fce328c0b8 (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=d032f41205002e415e78cfc07a6ed09213d7b4ce

commit d032f41205002e415e78cfc07a6ed09213d7b4ce
Merge: a8712d6 4f6a107
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jul 7 07:28:39 2021 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |    6 +
 NEWS            |    5 +-
 array.c         |   27 +-
 doc/ChangeLog   |   13 +
 doc/gawk.1      |    9 +-
 doc/gawk.info   | 1587 ++++++++++++++++++++++++++++++-------------------------
 doc/gawk.texi   |  236 ++++++++-
 doc/gawktexi.in |  236 ++++++++-
 8 files changed, 1339 insertions(+), 780 deletions(-)


hooks/post-receive
-- 
gawk