[SCM] gawk branch, porting, updated. gawk-4.1.0-5283-ge8f852fb

[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  e8f852fbc5e1cecd6731f45beee539d14f746d48 (commit)
       via  877acc226db6d694ba6407a3ff797ffc92379a81 (commit)
       via  8b42b5c9211f7704f08a08565d37354a8abc88d7 (commit)
       via  eab00e3ebedd2892990d4e7458955140c3d06a2f (commit)
       via  e2e336ab9e80b4bbe19fd0bebacf2bb95f743ffb (commit)
      from  7dded08f3cfa12c053fc35642268469e64ac152f (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=e8f852fbc5e1cecd6731f45beee539d14f746d48

commit e8f852fbc5e1cecd6731f45beee539d14f746d48
Merge: 7dded08f 877acc22
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Aug 14 12:58:24 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog    |   8 +-
 doc/gawk.info    | 481 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi    |   4 +-
 doc/gawktexi.in  |   4 +-
 doc/it/ChangeLog |   9 ++
 doc/it/gawk.1    |   2 +-
 doc/it/pm-gawk.1 | 202 +++++++++++++++++++++++
 doc/pm-gawk.1    |  11 ++
 8 files changed, 477 insertions(+), 244 deletions(-)
 create mode 100644 doc/it/pm-gawk.1


hooks/post-receive
-- 
gawk