[SCM] gawk branch, porting, updated. gawk-4.1.0-6011-g85a91689

[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  85a916897c5cc1df2739611a7c5efd02e4a6bf7b (commit)
       via  a314cd76115e811e191c2767201ebcf7b2acefc6 (commit)
      from  649dcf51886069df0f32b48eb3c9edd48fd23f84 (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=85a916897c5cc1df2739611a7c5efd02e4a6bf7b

commit 85a916897c5cc1df2739611a7c5efd02e4a6bf7b
Merge: 649dcf51 a314cd76
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Nov 13 13:04:26 2023 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/it/ChangeLog | 4 ++++
 doc/it/gawk.1    | 5 ++---
 2 files changed, 6 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
gawk