[SCM] gawk branch, porting, updated. gawk-4.1.0-5278-g7dded08f

[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  7dded08f3cfa12c053fc35642268469e64ac152f (commit)
       via  89e026ad11b567e1a1115f0774c1d9ff04382755 (commit)
      from  4d9feaa3668ddf5a03471ee712b9833bb2c12428 (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=7dded08f3cfa12c053fc35642268469e64ac152f

commit 7dded08f3cfa12c053fc35642268469e64ac152f
Merge: 4d9feaa3 89e026ad
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Aug 12 12:52:02 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/pm-gawk.1 | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk