[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4900-g05867ce

[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  05867ce4f2befba5a6b351fde94bf054dcbd0468 (commit)
       via  d67e86cb0869244fe4124d23def7be08fa6ab4ce (commit)
       via  41b120c7a932b6bb9eccb24b03475a74ca1303ca (commit)
      from  1ec7919b65d0adff3fa31d3a17ca39663f8e9474 (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=05867ce4f2befba5a6b351fde94bf054dcbd0468

commit 05867ce4f2befba5a6b351fde94bf054dcbd0468
Merge: 1ec7919 d67e86c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Jul 15 07:35:04 2021 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 doc/ChangeLog   |    4 +
 doc/gawk.info   | 1232 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   60 +--
 doc/gawktexi.in |   60 +--
 4 files changed, 615 insertions(+), 741 deletions(-)


hooks/post-receive
-- 
gawk