[SCM] gawk branch, porting, updated. gawk-4.1.0-5504-gef7c9791

[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  ef7c97918da0954aa50e7206a2ef2507583d5d14 (commit)
       via  f97cbc1cc2e42c14cd00444118ff53df9883dc0b (commit)
       via  52a9916e58325915cb147ac899398527f12c3e1a (commit)
       via  e45e95cd0faf83bf675dbb9389d81d10f95d6c32 (commit)
       via  a4b8dca2f00d3e64ff6e0462f2c06cf020adb1c5 (commit)
       via  91cf5883a4757cc9e2a0466da04c194ba2a4c1b6 (commit)
       via  6a2113284a13e45c0e88911ba166126be91fbc36 (commit)
       via  a2dd8628aec8f24f0af773ad63d55ae433e04a03 (commit)
       via  1e9d0962710c5de99604bdb3d9e623a79d731b94 (commit)
       via  f44a9f88c6caf2f5d1e124b3fa38ccf0c48e0b25 (commit)
       via  f971bf9862b8f8c7b8e28613a943bc35c1dfa4d5 (commit)
      from  0a965bf3b11edbc74b96059a0162ff09cc54d8d6 (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=ef7c97918da0954aa50e7206a2ef2507583d5d14

commit ef7c97918da0954aa50e7206a2ef2507583d5d14
Merge: 0a965bf3 f97cbc1c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Nov 14 22:09:48 2022 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog      |   5 ++
 doc/gawk.info      |  68 +++++++++---------
 doc/gawk.texi      |   4 +-
 doc/gawktexi.in    |   4 +-
 doc/it/ChangeLog   |  12 ++++
 doc/it/gawktexi.in | 197 +++++++++++++++++++++++++++++++++++++++++++----------
 6 files changed, 221 insertions(+), 69 deletions(-)


hooks/post-receive
-- 
gawk