[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4269-g286f474

[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  286f47464edbba54c89de59f0e93784081a90dbd (commit)
       via  ae870c0e8d05e3e88b555edfe12dcb486e067a33 (commit)
       via  461ed6d987ad5ab4e4fce811abd639f1d055a311 (commit)
       via  7de3b57a8a7e36acd718ab1313c25276607e9b41 (commit)
       via  d28ba370c4a1c87982fba20bfa1524193415c837 (commit)
       via  47655d75e1d63227fd077c08246ae3152e778328 (commit)
      from  9ba004205ea1d4305c03658f2484b908058ff6e5 (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=286f47464edbba54c89de59f0e93784081a90dbd

commit 286f47464edbba54c89de59f0e93784081a90dbd
Merge: 9ba0042 ae870c0
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Apr 26 17:07:08 2020 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 doc/ChangeLog            |  12 ++++
 doc/gawkinet.info        | 152 +++++++++++++++++++++++++++--------------------
 doc/gawkinet.texi        |  14 +++--
 doc/it/ChangeLog         |   5 ++
 doc/it/gawk.1            |  86 +++++++++++++--------------
 doc/it/gawktexi.in       |  35 +++++------
 doc/statist.txt          |  23 +++++++
 pc/ChangeLog             |  14 +++++
 pc/Makefile              |   2 +-
 pc/Makefile.ext          |   2 +-
 pc/Makefile.tst.prologue |   2 +-
 pc/config.sed            |   2 +-
 pc/dlfcn.h               |  20 +++++++
 pc/gawkmisc.pc           |   2 +-
 pc/getid.c               |  21 +++++++
 pc/popen.c               |  21 +++++++
 pc/popen.h               |  21 +++++++
 pc/socket.h              |  20 +++++++
 support/ChangeLog        |   5 ++
 support/dfa.c            |  65 +++++++++++++++-----
 20 files changed, 377 insertions(+), 147 deletions(-)
 create mode 100644 doc/statist.txt


hooks/post-receive
-- 
gawk