[SCM] gawk branch, porting, updated. gawk-4.1.0-6072-g7c7c1ced

[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  7c7c1ced60072cc9b2ebb47be6f591319a0dadeb (commit)
       via  90a18a8c4e9fd85ed96db9baf12afc1827a89945 (commit)
       via  ffad4c6ddb674f71905ccaf06d82ac1cff1118f4 (commit)
      from  1452618c49156ac2f56f930cb853a96a2c4a4014 (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=7c7c1ced60072cc9b2ebb47be6f591319a0dadeb

commit 7c7c1ced60072cc9b2ebb47be6f591319a0dadeb
Merge: 1452618c 90a18a8c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sat Jan 13 18:57:05 2024 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 extension/ChangeLog | 5 +++++
 extension/time.c    | 1 -
 2 files changed, 5 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk