[SCM] gawk branch, porting, updated. gawk-4.1.0-5120-g5ddb56a3

[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  5ddb56a31cd42d751e3aa215d9c6619148631727 (commit)
       via  f2e718519ec9759fa0f2f5cc329fb4d5102d37c6 (commit)
       via  1a8d83359a8f14a75fb0629908b516a3d1077ab3 (commit)
       via  77a528ef3dff60c14f8115b5df87156d53646ac9 (commit)
      from  cdb9cba657b4e5d8526eeacf86ef84fb92e080c9 (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=5ddb56a31cd42d751e3aa215d9c6619148631727

commit 5ddb56a31cd42d751e3aa215d9c6619148631727
Merge: cdb9cba6 f2e71851
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jun 17 14:35:45 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 build-aux/ChangeLog    |  4 ++++
 build-aux/config.guess | 34 ++++++++++++++++++++++++----------
 build-aux/config.sub   |  6 +++---
 support/ChangeLog      |  4 ++++
 support/dfa.c          |  2 ++
 support/dfa.h          |  6 +++++-
 6 files changed, 42 insertions(+), 14 deletions(-)


hooks/post-receive
-- 
gawk