[SCM] gawk branch, feature/mdim-restart, updated. gawk-4.1.0-4705-gff3f9433

[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-restart has been updated
       via  ff3f9433a6ab9d0f4e5ca21e3cf8b7dc69741d39 (commit)
       via  62ec80d7efa0b559738f0ccab6b0e9b0a72344b0 (commit)
       via  0d4519f6aa19e7529f1b203cf1584a872b4011aa (commit)
      from  0e6a31caf3c0ee5d9a329a1cd8ae4ae17c950990 (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=ff3f9433a6ab9d0f4e5ca21e3cf8b7dc69741d39

commit ff3f9433a6ab9d0f4e5ca21e3cf8b7dc69741d39
Merge: 0e6a31ca 62ec80d7
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Apr 6 20:09:30 2022 +0300

    Merge branch 'master' into feature/mdim-restart


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

Summary of changes:
 support/ChangeLog | 6 ++++++
 support/dfa.c     | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk