[SCM] gawk branch, porting, updated. gawk-4.1.0-4802-g7c0a007

[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  7c0a007ce2b5b12f35e2fcdb1ca8aaf39815b95d (commit)
       via  00d8cf5ca447dc385a869621e97d67b3f3bca80a (commit)
       via  99a610a84bb5f25e8105f65d928a772da3a66d5f (commit)
       via  b119426eb9db950752533dd410710a6389ee633a (commit)
       via  58431879b19a1b1cd5ff3a6575be07c46c73db39 (commit)
      from  c14a1de5ae6cd4e200a09ee6eb2b2b2e7822bcf9 (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=7c0a007ce2b5b12f35e2fcdb1ca8aaf39815b95d

commit 7c0a007ce2b5b12f35e2fcdb1ca8aaf39815b95d
Merge: c14a1de 00d8cf5
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Oct 1 10:20:09 2021 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog       |   5 +
 doc/gawk.info       | 687 +++++++++++++++++++++++++++-------------------------
 doc/gawk.texi       |  23 ++
 doc/gawktexi.in     |  23 ++
 extension/ChangeLog |   9 +
 extension/ordchr.c  |   2 +-
 test/ChangeLog      |   4 +
 test/ordchr.awk     |   1 +
 test/ordchr.ok      |   1 +
 9 files changed, 420 insertions(+), 335 deletions(-)


hooks/post-receive
-- 
gawk