[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-5372-gd24d7d67

[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  d24d7d676e3737f0dd6133b9c0b106fe040156b3 (commit)
       via  de3cfcc71598999c3c06b292cbb9ecf05b1c2111 (commit)
       via  c3c6419cea6debcceb62ca5e7f5d538d1a000629 (commit)
      from  4474bf336850afdf2d062541632b02815465b39d (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=d24d7d676e3737f0dd6133b9c0b106fe040156b3

commit d24d7d676e3737f0dd6133b9c0b106fe040156b3
Merge: 4474bf33 de3cfcc7
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Jul 11 18:43:28 2022 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 doc/ChangeLog       |   9 +
 doc/awkcard.in      |   4 +-
 doc/gawk.1          |   4 +-
 doc/gawk.info       | 748 ++++++++++++++++++++++++++--------------------------
 doc/gawk.texi       |  55 ++--
 doc/gawktexi.in     |  55 ++--
 extension/ChangeLog |   5 +
 extension/time.3am  |  11 +-
 extension/time.c    |  16 +-
 test/ChangeLog      |   4 +
 test/time.ok        |   1 +
 11 files changed, 477 insertions(+), 435 deletions(-)


hooks/post-receive
-- 
gawk