[SCM] gawk branch, porting, updated. gawk-4.1.0-5305-g172735cc

[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  172735cc80a83246f2243babcb92e91f97035af4 (commit)
       via  c6be4ffc4ed3e029491689b2abf857386959c0fc (commit)
       via  820574d321612bb63842c1730555ea79de229485 (commit)
       via  83d20df2b6b0fc17dc1e868c0ba38920fdeb3071 (commit)
       via  6eb13348cbd85f81f7c2cc307b14f2d5de2a2a9b (commit)
       via  a031cc3201b9add8a1d4c1b07a3597970ec53d88 (commit)
       via  0faf2f45ec7fc9b772a3b01e020979dcd16a156b (commit)
      from  0f9b97c9ba9febe13a391e064315dce9ef84c529 (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=172735cc80a83246f2243babcb92e91f97035af4

commit 172735cc80a83246f2243babcb92e91f97035af4
Merge: 0f9b97c9 c6be4ffc
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Aug 17 17:32:43 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog          |   4 +
 NEWS               |   8 +-
 doc/it/ChangeLog   |   9 +
 doc/it/gawktexi.in | 826 +++++++++++++++++++++++++++++++++++++++++++++--------
 doc/it/pm-gawk.1   |  33 ++-
 5 files changed, 754 insertions(+), 126 deletions(-)
 mode change 100755 => 100644 doc/it/gawktexi.in


hooks/post-receive
-- 
gawk