[SCM] gawk branch, porting, updated. gawk-4.1.0-5163-gfaa01771

[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  faa01771282dfd96d35ac4546c631956968ea570 (commit)
       via  de3cfcc71598999c3c06b292cbb9ecf05b1c2111 (commit)
       via  c3c6419cea6debcceb62ca5e7f5d538d1a000629 (commit)
      from  92578b6aac716b17fc31cfda67bf1f489f5d52a7 (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=faa01771282dfd96d35ac4546c631956968ea570

commit faa01771282dfd96d35ac4546c631956968ea570
Merge: 92578b6a de3cfcc7
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Jul 11 18:42:17 2022 +0300

    Merge branch 'master' into porting


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

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