[SCM] gawk branch, porting, updated. gawk-4.1.0-5070-gea4136cb

[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  ea4136cb83922f4d4df3b97b2b5dc0553908e6b0 (commit)
       via  57745697c70c6a006cd16d619041b1e4f0a15a26 (commit)
       via  c74e2dce7755ecaecc2cbb1e5afe81f293b7583a (commit)
      from  b15134eb598e95e72a9ee25e5b7c3d65c3dbb01b (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=ea4136cb83922f4d4df3b97b2b5dc0553908e6b0

commit ea4136cb83922f4d4df3b97b2b5dc0553908e6b0
Merge: b15134eb 57745697
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue May 3 22:56:23 2022 +0300

    Merge branch 'master' into porting


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

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


hooks/post-receive
-- 
gawk