[SCM] gawk branch, porting, updated. gawk-4.1.0-5948-gf53d367b

[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  f53d367b5e7d6529d7ac602dbb9d02745a799880 (commit)
       via  6fd8c9f7e4600200f4a684b9114c15d2a1c66f51 (commit)
       via  fee6987de7a6d1474de29ce5c3f0888d58617cdc (commit)
       via  b8ad61550ea18b01ba8e2c32fd8ce859561223d7 (commit)
      from  2a8fa5da91cb23fd01e512634b04279b39833aac (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=f53d367b5e7d6529d7ac602dbb9d02745a799880

commit f53d367b5e7d6529d7ac602dbb9d02745a799880
Merge: 2a8fa5da 6fd8c9f7
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Oct 17 21:17:25 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 10 ++++++++--
 2 files changed, 12 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
gawk