[SCM] gawk branch, porting, updated. gawk-4.1.0-6193-gc72c125f

[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  c72c125fd6ba6d8ea002f7bf5e289fa320d81658 (commit)
       via  2b6669a2ec4ff8f79f427ae7ee35818b9cfc4045 (commit)
       via  8d55806d3b7853a93c2aa76b94bc8640758bd8b5 (commit)
       via  77b5fa07a8a5890fce927f0198129129f1264285 (commit)
      from  0fa33057812ea182e46c11079497a9dda9d5ce4e (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=c72c125fd6ba6d8ea002f7bf5e289fa320d81658

commit c72c125fd6ba6d8ea002f7bf5e289fa320d81658
Merge: 0fa33057 2b6669a2
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jul 14 16:02:48 2024 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog    | 5 +++++
 doc/gawk.texi    | 6 +++---
 doc/it/ChangeLog | 5 +++++
 doc/it/gawk.1    | 3 ++-
 doc/it/gawk.texi | 9 +++++----
 5 files changed, 20 insertions(+), 8 deletions(-)
 mode change 100755 => 100644 doc/it/gawk.1


hooks/post-receive
-- 
gawk