[SCM] gawk branch, feature/cpp-compile, updated. gawk-4.1.0-5423-g0ce13045

[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  0ce130458f2920210b55b60a0cb69b3ee130dcb7 (commit)
       via  8be69b967c91de5b5529a0e4a4b5ed862fbe7c7e (commit)
       via  6e195e45a972b9c88ab8c5627d09049268b29df0 (commit)
       via  7672ce8c8f4819e4a24e26660f1cfe08655735b3 (commit)
      from  6a6db7b612919e423683127f954c476dc198bfb6 (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=0ce130458f2920210b55b60a0cb69b3ee130dcb7

commit 0ce130458f2920210b55b60a0cb69b3ee130dcb7
Merge: 6a6db7b6 8be69b96
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jan 22 22:02:57 2023 +0200

    Merge branch 'master' into feature/cpp-compile


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

Summary of changes:
 ChangeLog              |   8 +
 NEWS                   |   5 +-
 doc/ChangeLog          |   8 +
 doc/gawk.info          | 549 +++++++++++++++++++++++++------------------------
 doc/gawk.texi          |  63 ++++--
 doc/gawktexi.in        |  63 ++++--
 extension/ChangeLog    |  10 +
 extension/configh.in   |   3 +
 extension/configure    |   6 +
 extension/configure.ac |   4 +-
 extension/time.3am     |  66 ++++--
 extension/time.c       |  71 +++++--
 main.c                 |  39 +++-
 test/ChangeLog         |   6 +
 test/makepmafile.c     |   4 +-
 test/time.awk          |  30 +--
 test/time.ok           |   2 +-
 17 files changed, 587 insertions(+), 350 deletions(-)


hooks/post-receive
-- 
gawk