[SCM] gawk branch, porting, updated. gawk-4.1.0-5793-g36d0f380

[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  36d0f380499cb2b6652df2974da8a8285ab164ad (commit)
       via  e26e3eed5c17af799962e22d59b67aadec25387e (commit)
       via  b9da24baaf9746732837e768787b453a1de28752 (commit)
      from  1ed244abda163b09e6c0952cef47bae268d15013 (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=36d0f380499cb2b6652df2974da8a8285ab164ad

commit 36d0f380499cb2b6652df2974da8a8285ab164ad
Merge: 1ed244ab e26e3eed
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sat Apr 22 23:14:54 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 support/ChangeLog |  4 ++++
 support/verify.h  | 16 +++++++++++-----
 2 files changed, 15 insertions(+), 5 deletions(-)


hooks/post-receive
-- 
gawk