[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4572-g7b23894

[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, feature/improve-inet has been updated
       via  7b2389434bda6459a6f48f0c28baa59db5ae2fa0 (commit)
       via  476b183d4f70a098aae0943a16ead5b59ffe6e4b (commit)
       via  54465496d75564ff37a1afac730c818fec9c7389 (commit)
      from  9f3c5e8449648f328642ab01268ecead980d0c5c (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=7b2389434bda6459a6f48f0c28baa59db5ae2fa0

commit 7b2389434bda6459a6f48f0c28baa59db5ae2fa0
Merge: 9f3c5e8 476b183
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Nov 16 06:16:53 2020 +0200

    Merge branch 'master' into feature/improve-inet


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

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