[SCM] gawk branch, porting, updated. gawk-4.1.0-5515-g48e0d8e6

[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  48e0d8e6370644ae6c8470e11777a1441cb139e3 (commit)
       via  f665eec43644fa47f4318d7ecd886da4bcd05d90 (commit)
      from  72ef50e24dc9eb7be406ac0f75885aec8117bbfc (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=48e0d8e6370644ae6c8470e11777a1441cb139e3

commit 48e0d8e6370644ae6c8470e11777a1441cb139e3
Merge: 72ef50e2 f665eec4
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Nov 18 14:08:13 2022 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   | 5 +++++
 doc/it/gawktexi.in | 9 +++++++--
 doc/it/pm-gawk.1   | 7 ++++++-
 3 files changed, 18 insertions(+), 3 deletions(-)
 mode change 100644 => 100755 doc/it/pm-gawk.1


hooks/post-receive
-- 
gawk