[SCM] gawk branch, feature/mdim, updated. gawk-4.1.0-4801-g3a547d22

[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, feature/mdim has been updated
       via  3a547d22a01e3cdecabbc5605f1ed8f87b773a16 (commit)
       via  f2e718519ec9759fa0f2f5cc329fb4d5102d37c6 (commit)
       via  1a8d83359a8f14a75fb0629908b516a3d1077ab3 (commit)
       via  77a528ef3dff60c14f8115b5df87156d53646ac9 (commit)
      from  4124c3d74f056f38b8e63b22108238c0db9c735f (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=3a547d22a01e3cdecabbc5605f1ed8f87b773a16

commit 3a547d22a01e3cdecabbc5605f1ed8f87b773a16
Merge: 4124c3d7 f2e71851
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jun 17 14:36:51 2022 +0300

    Merge branch 'master' into feature/mdim


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

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