[SCM] gawk branch, porting, updated. gawk-4.1.0-5116-gcdb9cba6

[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  cdb9cba657b4e5d8526eeacf86ef84fb92e080c9 (commit)
       via  ae879ed7654680f4348cc918c86225ec7f4ec824 (commit)
      from  25056be811781f137613ff7bd9027b613eac8d59 (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=cdb9cba657b4e5d8526eeacf86ef84fb92e080c9

commit cdb9cba657b4e5d8526eeacf86ef84fb92e080c9
Merge: 25056be8 ae879ed7
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jun 17 14:14:40 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 extension/ChangeLog   |  7 +++++++
 extension/Makefile.am |  6 ++++--
 extension/Makefile.in | 11 +++++++----
 3 files changed, 18 insertions(+), 6 deletions(-)


hooks/post-receive
-- 
gawk