[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4429-g3054c35

[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  3054c35ac455bd200e43a33d9aca2abddaf2da82 (commit)
       via  b11ce4a54d8ed198e734b3f8a86ed0d245bdd664 (commit)
       via  34c8c8d06b766703fdc86136a0656e4baeeb7b69 (commit)
       via  77d54285702af30644b2e028c10d4ad77e560e40 (commit)
      from  46671c2df5f2c1f2821012d8e9f6c13f8f1bab61 (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=3054c35ac455bd200e43a33d9aca2abddaf2da82

commit 3054c35ac455bd200e43a33d9aca2abddaf2da82
Merge: 46671c2 b11ce4a
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jul 26 15:14:24 2020 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 ChangeLog           |   4 +
 doc/ChangeLog       |   6 ++
 doc/gawk.info       | 295 ++++++++++++++++++++++++++--------------------------
 doc/gawk.texi       |  24 +++--
 doc/gawktexi.in     |  24 +++--
 extension/ChangeLog |   5 +
 extension/intdiv.c  |  11 +-
 gawkapi.h           |  13 +--
 8 files changed, 207 insertions(+), 175 deletions(-)


hooks/post-receive
-- 
gawk