[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-6239-gb2f9900b

[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  b2f9900b1a9b4504ba2220f5c204ba775864f796 (commit)
       via  343a3d6b2946b3760c79b224da6633f717032860 (commit)
       via  9fc27aab40790dc5c1dde8fb1c077cfd8e4bcff0 (commit)
       via  c34167da18b40e8b49666cd9d35af44cdde91d82 (commit)
      from  8afa78f80b249a71784fcd2c1871222d0266a18d (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=b2f9900b1a9b4504ba2220f5c204ba775864f796

commit b2f9900b1a9b4504ba2220f5c204ba775864f796
Merge: 8afa78f8 343a3d6b
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Nov 28 21:10:04 2023 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 ChangeLog        |   13 +
 awk.h            |    6 +-
 builtin.c        |    8 +-
 doc/ChangeLog    |    6 +
 doc/gawk.info    | 1438 +++++++++++++++++++++++++++++-------------------------
 doc/gawk.texi    |  208 +++++---
 mpfr.c           |    3 -
 node.c           |    3 -
 pc/ChangeLog     |    4 +
 pc/Makefile.tst  |   12 +-
 po/xhe.po        |   13 +-
 test/ChangeLog   |    5 +
 test/Makefile.am |    6 +-
 test/Makefile.in |   16 +-
 test/Maketests   |   10 +
 test/typeof7.awk |    8 +
 test/typeof7.ok  |    5 +
 test/typeof8.awk |   10 +
 test/typeof8.ok  |    5 +
 19 files changed, 1028 insertions(+), 751 deletions(-)
 create mode 100644 test/typeof7.awk
 create mode 100644 test/typeof7.ok
 create mode 100644 test/typeof8.awk
 create mode 100644 test/typeof8.ok


hooks/post-receive
-- 
gawk