[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-5249-g72c24476

[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  72c244767079e0692d09e761beae5d2ba25e2fca (commit)
       via  b55d466c54ef8364259759fdcf2c66a5ab4fb5a1 (commit)
       via  72b1a070b5298e66fe0ab8b13489a64e14d5ea7e (commit)
       via  f77ab7d2f009da2b9e60f17633a8b71488f85ceb (commit)
      from  a95016337abfe5c20ce82870a01f60f213737b6a (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=72c244767079e0692d09e761beae5d2ba25e2fca

commit 72c244767079e0692d09e761beae5d2ba25e2fca
Merge: a9501633 b55d466c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Apr 18 16:23:06 2022 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 ChangeLog       |  4 +++
 doc/ChangeLog   |  5 ++++
 doc/gawk.info   | 87 +++++++++++++++++++++++++++++++++------------------------
 doc/gawk.texi   | 18 ++++++++++--
 doc/gawkbug.1   | 13 +++++----
 doc/gawktexi.in | 18 ++++++++++--
 gawkbug.in      | 12 +++++---
 7 files changed, 107 insertions(+), 50 deletions(-)


hooks/post-receive
-- 
gawk