[SCM] gawk branch, porting, updated. gawk-4.1.0-4393-g8080a12

[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  8080a12f0aff7a88367fd86ce06a10f80bc2ee71 (commit)
       via  2d10a67c0edc9170ce20d4cefe6806ef01d8a45f (commit)
       via  faa1e5bb0c435a1ec4775a7ab9e42c3ba9e290af (commit)
       via  7ae8532608ef6b612d15713c90f6dcbe3d5cac29 (commit)
       via  e38041a0d5bb2d9b67a50e2fd1d816f12cad3068 (commit)
      from  f0b7fc6881b4b6bd52a791cdd77504dffaa0fdcc (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=8080a12f0aff7a88367fd86ce06a10f80bc2ee71

commit 8080a12f0aff7a88367fd86ce06a10f80bc2ee71
Merge: f0b7fc6 2d10a67
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Dec 1 07:05:54 2020 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 awklib/eg/network/coreserv.awk |    2 +-
 build-aux/ChangeLog            |    4 +
 build-aux/config.guess         |   30 +-
 build-aux/config.sub           |    4 +-
 doc/ChangeLog                  |    1 +
 doc/gawk.info                  | 1243 +++++++++++++++++++++-------------------
 doc/gawk.texi                  |   51 ++
 doc/gawktexi.in                |   51 ++
 8 files changed, 774 insertions(+), 612 deletions(-)


hooks/post-receive
-- 
gawk