[SCM] gawk branch, porting, updated. gawk-4.1.0-5513-g72ef50e2

[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  72ef50e24dc9eb7be406ac0f75885aec8117bbfc (commit)
       via  3db3c3695e9a9de4b15ba76267fe4d466340ac8e (commit)
       via  0e5631b15606d7596e6c251b09f1391fcedabacc (commit)
       via  299f6d4eabd53b29d6b02dab510d5d74108bef5c (commit)
       via  70977ed85cc5a7485c3ef6b7602059ef82d21048 (commit)
       via  3ce7ef9963911471f122ea5db2be4e56b9d1787e (commit)
       via  2994d7a74cfa4811bf3e0875e41a0f4de372166b (commit)
       via  6f045c36407841ba0f503963b99060dd107e2241 (commit)
       via  ce0379a151fc871797f00c3e0161af7c702b4ea1 (commit)
      from  ef7c97918da0954aa50e7206a2ef2507583d5d14 (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=72ef50e24dc9eb7be406ac0f75885aec8117bbfc

commit 72ef50e24dc9eb7be406ac0f75885aec8117bbfc
Merge: ef7c9791 3db3c369
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Nov 17 17:42:44 2022 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog    |   6 +
 doc/gawk.info    | 484 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi    |   4 +
 doc/gawktexi.in  |   4 +
 doc/pm-gawk.1    |   7 +-
 pc/ChangeLog     |   4 +
 pc/config.h      |   6 +-
 po/ChangeLog     |   5 +
 po/it.po         | 362 ++++++++++++++++++++---------------------
 posix/ChangeLog  |   5 +
 posix/gawkmisc.c |   5 +
 11 files changed, 465 insertions(+), 427 deletions(-)


hooks/post-receive
-- 
gawk