[SCM] gawk branch, porting, updated. gawk-4.1.0-4363-gfe7cd90

[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  fe7cd9081098ea33b11ee16ffcbc9b79607e1efd (commit)
       via  476b183d4f70a098aae0943a16ead5b59ffe6e4b (commit)
       via  54465496d75564ff37a1afac730c818fec9c7389 (commit)
      from  d6ec2aa08e6fcb0e3beaf695f50d46b679bfd8f2 (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=fe7cd9081098ea33b11ee16ffcbc9b79607e1efd

commit fe7cd9081098ea33b11ee16ffcbc9b79607e1efd
Merge: d6ec2aa 476b183
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Nov 16 06:13:51 2020 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 build-aux/ChangeLog    |   4 +
 build-aux/config.guess | 186 ++++++------
 build-aux/config.sub   |  40 +--
 build-aux/install-sh   |  35 ++-
 doc/ChangeLog          |   5 +
 doc/gawk.info          | 776 ++++++++++++++++++++++++-------------------------
 doc/gawk.texi          |   2 +-
 doc/gawktexi.in        |   2 +-
 8 files changed, 543 insertions(+), 507 deletions(-)


hooks/post-receive
-- 
gawk