[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4392-g5087909

[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  5087909f5f24ed9db890b46818f9b695a7569081 (commit)
       via  6f3a073ab7b564b34ec214363f50813d68ea623e (commit)
       via  0446a2679b81c5e319dfe74074d1b9ab441213f1 (commit)
      from  3356160e6ba743345ade5d4f7d8d22de4755f229 (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=5087909f5f24ed9db890b46818f9b695a7569081

commit 5087909f5f24ed9db890b46818f9b695a7569081
Merge: 3356160 6f3a073
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Jul 13 16:06:33 2020 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 doc/ChangeLog       |   6 ++
 doc/gawk.info       | 281 ++++++++++++++++++++++++++--------------------------
 doc/gawk.texi       |   9 +-
 doc/gawktexi.in     |   9 +-
 extension/ChangeLog |   6 ++
 extension/intdiv.c  |   7 ++
 6 files changed, 178 insertions(+), 140 deletions(-)


hooks/post-receive
-- 
gawk