[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4187-g4298b9b

[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  4298b9ba24730fb5161cdba76ff94e05650678b1 (commit)
       via  a28cbc85b64d5f8a3d318cea5c30bdb57338256c (commit)
      from  21f632d3b1cbb41e81d8778deaa81bbd2a56d83a (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=4298b9ba24730fb5161cdba76ff94e05650678b1

commit 4298b9ba24730fb5161cdba76ff94e05650678b1
Merge: 21f632d a28cbc8
Author: Arnold D. Robbins <address@hidden>
Date:   Sat Feb 22 20:25:02 2020 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 awklib/eg/lib/getopt.awk |  94 ++++--
 doc/ChangeLog            |   5 +
 doc/gawk.info            | 773 ++++++++++++++++++++++++++---------------------
 doc/gawk.texi            | 214 +++++++++----
 doc/gawktexi.in          | 214 +++++++++----
 5 files changed, 815 insertions(+), 485 deletions(-)


hooks/post-receive
-- 
gawk