[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4489-gda5a29c

[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  da5a29cd17183332f1a2d015ac268726809ecd0c (commit)
       via  696533f3f4a3b2dd36042eac5e1dce6f9bcec129 (commit)
      from  ce32f16a8732959973bf89c201e41c1102a897d8 (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=da5a29cd17183332f1a2d015ac268726809ecd0c

commit da5a29cd17183332f1a2d015ac268726809ecd0c
Merge: ce32f16 696533f
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Sep 13 21:03:28 2020 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 awklib/eg/prog/egrep.awk |  67 +++--
 doc/ChangeLog            |   5 +
 doc/gawk.info            | 750 ++++++++++++++++++++++++-----------------------
 doc/gawk.texi            | 190 +++++++-----
 doc/gawktexi.in          | 190 +++++++-----
 5 files changed, 660 insertions(+), 542 deletions(-)


hooks/post-receive
-- 
gawk