[SCM] gawk branch, master, updated. gawk-4.1.0-5099-g4dc3da50

[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  4dc3da507ec41fcd1967c33e087aa6ce40e08bf0 (commit)
       via  8066f8b4c6d50706052f79ffe4478715a9d2b622 (commit)
       via  38fb7a236a815ee17d39501ae9366a141e86cafe (commit)
      from  d8749db361b555377b1842b2f50b58967e23bbd7 (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=4dc3da507ec41fcd1967c33e087aa6ce40e08bf0

commit 4dc3da507ec41fcd1967c33e087aa6ce40e08bf0
Merge: d8749db3 8066f8b4
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Dec 23 09:42:36 2022 +0200

    Merge branch 'gawk-5.2-stable'


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

Summary of changes:
 ChangeLog             |   4 +
 README                |   2 +-
 build-aux/ChangeLog   |   4 +
 build-aux/texinfo.tex | 404 +++++++++++++++++++++++++++-----------------------
 doc/ChangeLog         |   4 +
 doc/texinfo.tex       | 404 +++++++++++++++++++++++++++-----------------------
 support/ChangeLog     |   4 +
 support/verify.h      |   2 +-
 8 files changed, 452 insertions(+), 376 deletions(-)


hooks/post-receive
-- 
gawk