[SCM] gawk branch, master, updated. gawk-4.1.0-4745-gf2e71851

[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, master has been updated
       via  f2e718519ec9759fa0f2f5cc329fb4d5102d37c6 (commit)
       via  1a8d83359a8f14a75fb0629908b516a3d1077ab3 (commit)
       via  77a528ef3dff60c14f8115b5df87156d53646ac9 (commit)
      from  ae879ed7654680f4348cc918c86225ec7f4ec824 (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=f2e718519ec9759fa0f2f5cc329fb4d5102d37c6

commit f2e718519ec9759fa0f2f5cc329fb4d5102d37c6
Merge: ae879ed7 1a8d8335
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jun 17 14:35:25 2022 +0300

    Merge branch 'gawk-5.1-stable'


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

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