[SCM] gawk branch, master, updated. gawk-4.1.0-5187-g2076c201

[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  2076c201221a190786e554c12a322ecea46caee1 (commit)
       via  5a8a083d2a8da1a18024eafb1da4c709ab5dcea4 (commit)
       via  16e559c1c15174171710e87dd47c905b9decd9b7 (commit)
      from  8bf639a108edfb478f8e0b11d41ddea5d85c7826 (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=2076c201221a190786e554c12a322ecea46caee1

commit 2076c201221a190786e554c12a322ecea46caee1
Merge: 8bf639a1 5a8a083d
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Mar 26 12:19:15 2023 +0300

    Merge branch 'gawk-5.2-stable'


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

Summary of changes:
 build-aux/ChangeLog   |   4 +
 build-aux/texinfo.tex | 251 ++++++++++++++++++++++++++++++++------------------
 doc/ChangeLog         |   4 +
 doc/texinfo.tex       | 251 ++++++++++++++++++++++++++++++++------------------
 support/ChangeLog     |   4 +
 support/dfa.c         |  17 ++--
 support/verify.h      |  18 ++--
 7 files changed, 350 insertions(+), 199 deletions(-)


hooks/post-receive
-- 
gawk