[SCM] gawk branch, porting, updated. gawk-4.1.0-5114-g25056be8

[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  25056be811781f137613ff7bd9027b613eac8d59 (commit)
       via  6b97a4f7948407dcc4cb24ed79d11528b5e9202f (commit)
       via  3fb5ffc0dd119cc300b8bd4e1d368a9b39aba850 (commit)
      from  29c2c7dcc0ae4ac35adfefa7fb8e877202becf55 (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=25056be811781f137613ff7bd9027b613eac8d59

commit 25056be811781f137613ff7bd9027b613eac8d59
Merge: 29c2c7dc 6b97a4f7
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jun 15 18:08:15 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog | 10 ++++++++--
 main.c    |  7 ++++---
 2 files changed, 12 insertions(+), 5 deletions(-)


hooks/post-receive
-- 
gawk