[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4448-gdf727d3

[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  df727d38c0e27ef87a4a50cde6fb86da05bb45ec (commit)
       via  d389d4cd9e2d75159f69a23bfa6d038f74502b12 (commit)
       via  8110b4b66d9bf0f94b4595aadd4e9439df526fa5 (commit)
      from  be94337903fc7234d9a862270e31450ae1987acf (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=df727d38c0e27ef87a4a50cde6fb86da05bb45ec

commit df727d38c0e27ef87a4a50cde6fb86da05bb45ec
Merge: be94337 d389d4c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Aug 12 18:19:33 2020 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 ChangeLog       |  15 ++
 NEWS            |   6 +-
 awkgram.c       |   4 +-
 command.c       |   4 +-
 doc/ChangeLog   |   4 +
 doc/gawk.info   | 500 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   8 +-
 doc/gawktexi.in |   8 +-
 profile.c       |   3 +
 symbol.c        |  13 +-
 test/ChangeLog  |   4 +
 test/nsprof1.ok |   2 +
 test/nsprof2.ok |   3 +
 13 files changed, 319 insertions(+), 255 deletions(-)


hooks/post-receive
-- 
gawk