[SCM] gawk branch, porting, updated. gawk-4.1.0-4819-gc16ea81

[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  c16ea817def8896552b1ebaeaadefe3e29d764bb (commit)
       via  b09f86a66cc6cae015a1343c189c84031007de1c (commit)
       via  f1819adeb27379fd0199662b3daffcac4132e5b0 (commit)
       via  c0b6b5208927cb993245858accc8f6bb55e5ca34 (commit)
      from  1358d9dcd4e63669f73b27ff80d8d9e9f4cc08ee (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=c16ea817def8896552b1ebaeaadefe3e29d764bb

commit c16ea817def8896552b1ebaeaadefe3e29d764bb
Merge: 1358d9d b09f86a
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sat Oct 9 21:17:47 2021 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |   8 +
 doc/gawk.info   | 852 +++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |  50 ++--
 doc/gawktexi.in |  50 ++--
 4 files changed, 508 insertions(+), 452 deletions(-)


hooks/post-receive
-- 
gawk