[SCM] gawk branch, porting, updated. gawk-4.1.0-5264-g5eb25472

[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  5eb254720e670c0d3ebd31a4064fd6756d717976 (commit)
       via  4b1b9a159a1661ba399a642af72ad6f41eaca7d3 (commit)
       via  ee9168d7a3f9c647e0e979f91694bf9ca80fb4c3 (commit)
       via  46864a93a1ee43c7f7e5b6387c8dc65e07af9f4a (commit)
       via  b4eaca4a9e20e9fb8d4a3ce02c2f30b62233c68f (commit)
       via  0b6a9c21b1db2c898a71c774bb8185d669dc71ec (commit)
       via  5e42bf53908fcbf2f57077dcb3afedc00b99bcd9 (commit)
       via  159ba4af53537c86017581388dbd35314afe148d (commit)
       via  e9ab318acdf924c41aaa9d5669061c9511d3e75a (commit)
       via  78a6c6cea8d2fb90ba28800cb27cdf799378f0dc (commit)
      from  fb3da90745e0f0c87b947c5b3be1ad83301cfb72 (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=5eb254720e670c0d3ebd31a4064fd6756d717976

commit 5eb254720e670c0d3ebd31a4064fd6756d717976
Merge: fb3da907 4b1b9a15
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Aug 10 18:28:39 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog          |   8 +
 NEWS               |   9 +-
 README_d/ChangeLog |   4 +
 README_d/README.pc |   4 +-
 doc/ChangeLog      |   5 +
 doc/gawk.info      | 493 +++++++++++++++++++++++++++--------------------------
 doc/gawk.texi      |  10 +-
 doc/gawktexi.in    |  10 +-
 doc/it/ChangeLog   |   4 +
 doc/it/gawktexi.in |  22 ++-
 po/ChangeLog       |   4 +
 po/it.po           | 413 ++++++++++++++++++++++----------------------
 symbol.c           |  76 ++++++---
 13 files changed, 568 insertions(+), 494 deletions(-)


hooks/post-receive
-- 
gawk