[SCM] gawk branch, porting, updated. gawk-4.1.0-5172-g9b241486

[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  9b2414866f8ad458a6aa87fdb5786d263975f9d3 (commit)
       via  8813da2b2a7a3c60c3e268a39275c42ff4efbcb8 (commit)
       via  6a17d8a371d73e64554170a13e9a22ac82a0ad20 (commit)
       via  b5358f95686db9ce99179ef6e368ca1e17826497 (commit)
       via  cdfe131ecd1d85889260bb2a93fa77e26eae1f11 (commit)
       via  260f812777e90a7ff44943bd8c034a347d0a8c7e (commit)
      from  1ba15a72727d6939ba27f978d9ed2511633a8449 (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=9b2414866f8ad458a6aa87fdb5786d263975f9d3

commit 9b2414866f8ad458a6aa87fdb5786d263975f9d3
Merge: 1ba15a72 8813da2b
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jul 13 10:31:58 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |  5 ++++
 doc/it/gawk.1      |  5 ++--
 doc/it/gawktexi.in | 74 +++++++++++++++++++++++++++---------------------------
 pc/config.h        | 12 ++++++---
 po/ChangeLog       |  4 +++
 po/it.po           | 38 +++++++++++-----------------
 support/ChangeLog  |  5 ++++
 support/pma.c      |  4 +--
 8 files changed, 80 insertions(+), 67 deletions(-)


hooks/post-receive
-- 
gawk