[SCM] gawk branch, porting, updated. gawk-4.1.0-5138-g8f415c1c

[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  8f415c1c936c3e5004a2c1e31ba49edee0392b94 (commit)
       via  30af96ec90df362d55a8e08d240dda10c149cade (commit)
      from  c3fd89305ad76be2797d730ca42d9162a9b0c90d (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=8f415c1c936c3e5004a2c1e31ba49edee0392b94

commit 8f415c1c936c3e5004a2c1e31ba49edee0392b94
Merge: c3fd8930 30af96ec
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jul 1 11:53:42 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 test/ChangeLog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


hooks/post-receive
-- 
gawk