[SCM] gawk branch, porting, updated. gawk-4.1.0-6189-g0fa33057

[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  0fa33057812ea182e46c11079497a9dda9d5ce4e (commit)
       via  c28375d5b00ec99fc2f5ba7f2a94ca8e6e267cf4 (commit)
       via  95228feef179a5a1f895e37b7f2f8920053826a9 (commit)
       via  29b29fe835e982d11a49e3f531179b155bc0ce59 (commit)
       via  e7e9ad551758d9860d9b65c6604783c1c0c67be7 (commit)
      from  089daec2561365405e8f6429d388cc5c55cb10fb (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=0fa33057812ea182e46c11079497a9dda9d5ce4e

commit 0fa33057812ea182e46c11079497a9dda9d5ce4e
Merge: 089daec2 c28375d5
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sat Jul 13 21:38:18 2024 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog    |    5 +
 doc/gawk.info    | 1121 +++++++++++++++++++++++++++---------------------------
 doc/gawk.texi    |   12 +-
 doc/it/ChangeLog |    4 +
 doc/it/gawk.texi |  197 ++++++----
 doc/wordlist     |    8 +
 6 files changed, 718 insertions(+), 629 deletions(-)


hooks/post-receive
-- 
gawk