[SCM] gawk branch, porting, updated. gawk-4.1.0-5094-g9ec64585

[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  9ec64585f32103cd336807ab6901bed3919946af (commit)
       via  4ecda23c200ea6f80c197b16c00bf91ca91a9dae (commit)
      from  908b5f38d99161e14edea92e05117e2fecc9a24c (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=9ec64585f32103cd336807ab6901bed3919946af

commit 9ec64585f32103cd336807ab6901bed3919946af
Merge: 908b5f38 4ecda23c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun May 22 10:26:23 2022 -0400

    Merge branch 'master' into porting


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

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


hooks/post-receive
-- 
gawk