[SCM] gawk branch, porting, updated. gawk-4.1.0-5188-g4da45319

[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  4da45319fb9cc32b92edb6d19af80a0f5949ec2e (commit)
       via  27bce666fac93015433ec12ff5c97a72d7250213 (commit)
       via  5c6253beedd64094b036704660833b53b533041b (commit)
       via  c71ba4f676e834c75655fd04253207b9804643e7 (commit)
      from  4f5a7a96849679b62adc3790467b42c0921460fb (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=4da45319fb9cc32b92edb6d19af80a0f5949ec2e

commit 4da45319fb9cc32b92edb6d19af80a0f5949ec2e
Merge: 4f5a7a96 27bce666
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jul 17 16:46:37 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   | 4 ++++
 doc/it/gawktexi.in | 9 +++++----
 2 files changed, 9 insertions(+), 4 deletions(-)


hooks/post-receive
-- 
gawk