[SCM] gawk branch, feature/cpp-compile, updated. gawk-4.1.0-5858-g093b8b79

[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/cpp-compile has been updated
       via  093b8b79a07e01fdf309b4ce60a885a0eaaa24bb (commit)
       via  343a3d6b2946b3760c79b224da6633f717032860 (commit)
       via  9fc27aab40790dc5c1dde8fb1c077cfd8e4bcff0 (commit)
       via  c34167da18b40e8b49666cd9d35af44cdde91d82 (commit)
      from  156252116dd68e2329525c21f9809554231169d6 (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=093b8b79a07e01fdf309b4ce60a885a0eaaa24bb

commit 093b8b79a07e01fdf309b4ce60a885a0eaaa24bb
Merge: 15625211 343a3d6b
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Nov 28 21:09:36 2023 +0200

    Merge branch 'master' into feature/cpp-compile


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

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