[SCM] gawk branch, porting, updated. gawk-4.1.0-5596-gb942aeab

[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, porting has been updated
       via  b942aeabfd65f43c43b48fb50c951fc74f54221e (commit)
       via  8be69b967c91de5b5529a0e4a4b5ed862fbe7c7e (commit)
       via  6e195e45a972b9c88ab8c5627d09049268b29df0 (commit)
       via  7672ce8c8f4819e4a24e26660f1cfe08655735b3 (commit)
      from  2cb58cf72f9f499f1776a96401a6b94f6e24e39a (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=b942aeabfd65f43c43b48fb50c951fc74f54221e

commit b942aeabfd65f43c43b48fb50c951fc74f54221e
Merge: 2cb58cf7 8be69b96
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jan 22 22:02:18 2023 +0200

    Merge branch 'master' into porting


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

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