[SCM] gawk branch, porting, updated. gawk-4.1.0-4266-g7cce5de

[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  7cce5de1ef77d7afb4feca5a81648416e7acd3a7 (commit)
       via  16f6f902300a60ea9cbb6bf0b328033d11cabf8b (commit)
      from  bc4710d4e67378d3850c9a4eeed734911f7eb13d (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=7cce5de1ef77d7afb4feca5a81648416e7acd3a7

commit 7cce5de1ef77d7afb4feca5a81648416e7acd3a7
Merge: bc4710d 16f6f90
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Aug 26 10:16:59 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |   1 +
 doc/gawk.info   | 800 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   8 +-
 doc/gawktexi.in |   8 +-
 4 files changed, 409 insertions(+), 408 deletions(-)


hooks/post-receive
-- 
gawk