[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4261-gb017c27

[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  b017c2789de40e90e4c47237169d1b1b1a323793 (commit)
       via  d352f271d0e44f8d7bbf8d430ef90156f45d3921 (commit)
       via  b80d5fbb3fdb88b8a2731de0f1ca3a92b14dc8df (commit)
       via  6c5a399c3de64a3f2de3b4cedc9243a6c666b689 (commit)
      from  94f481081af3a5e8feff8bd9c1595729b5075c20 (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=b017c2789de40e90e4c47237169d1b1b1a323793

commit b017c2789de40e90e4c47237169d1b1b1a323793
Merge: 94f4810 d352f27
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Apr 13 09:46:07 2020 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 doc/ChangeLog      |   5 +
 doc/gawk.info      | 993 +++++++++++++++++++++++++++--------------------------
 doc/gawk.texi      |   3 +-
 doc/gawktexi.in    |   3 +-
 doc/it/ChangeLog   |   4 +
 doc/it/gawktexi.in |  93 ++++-
 6 files changed, 593 insertions(+), 508 deletions(-)


hooks/post-receive
-- 
gawk