[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-5700-g1532f849

[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  1532f84968e74ec9a71c57d2e6063f2166b97302 (commit)
       via  86b1c221bdc50ede37a7b5c3ce6f7afa76d2cb2c (commit)
       via  1d4e1e1bc75d213ea439078267596674ef461957 (commit)
      from  ccaed5f2e089743b95fcbdc21851ca87a8b36ac9 (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=1532f84968e74ec9a71c57d2e6063f2166b97302

commit 1532f84968e74ec9a71c57d2e6063f2166b97302
Merge: ccaed5f2 86b1c221
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Nov 13 21:07:52 2022 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 doc/ChangeLog   |  4 +++
 doc/gawk.info   | 80 ++++++++++++++++++++++++++++++++-------------------------
 doc/gawk.texi   | 11 ++++++++
 doc/gawktexi.in | 11 ++++++++
 4 files changed, 71 insertions(+), 35 deletions(-)


hooks/post-receive
-- 
gawk