[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4487-gce32f16

[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  ce32f16a8732959973bf89c201e41c1102a897d8 (commit)
       via  7d08b2cd4dd4af16bac395bf1b93d7ed03cdca09 (commit)
       via  fbb3e167f9f7e3e6b1372bf3088393b6e894b2cf (commit)
       via  2f2803957202a42b7dbfc00c62affe23b5c70d76 (commit)
      from  93708fb5b715ae8163a67739f506b114e6a60945 (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=ce32f16a8732959973bf89c201e41c1102a897d8

commit ce32f16a8732959973bf89c201e41c1102a897d8
Merge: 93708fb 7d08b2c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Sep 11 12:00:55 2020 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 awklib/eg/prog/id.awk | 152 ++++++++--
 build-aux/ChangeLog   |   4 +
 build-aux/config.sub  |  12 +-
 doc/ChangeLog         |   5 +
 doc/gawk.info         | 797 +++++++++++++++++++++++++++++++-------------------
 doc/gawk.texi         | 347 ++++++++++++++++++----
 doc/gawktexi.in       | 347 ++++++++++++++++++----
 7 files changed, 1227 insertions(+), 437 deletions(-)


hooks/post-receive
-- 
gawk