[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-5101-g7c04a1e2

[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/docit has been updated
       via  7c04a1e20121a060154acf96f85f236c6cb3c53f (commit)
       via  4dc3da507ec41fcd1967c33e087aa6ce40e08bf0 (commit)
       via  8066f8b4c6d50706052f79ffe4478715a9d2b622 (commit)
       via  38fb7a236a815ee17d39501ae9366a141e86cafe (commit)
      from  31de198aeda85a83f3a2b8eca61403294cfb153e (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=7c04a1e20121a060154acf96f85f236c6cb3c53f

commit 7c04a1e20121a060154acf96f85f236c6cb3c53f
Merge: 31de198a 4dc3da50
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Dec 23 09:43:36 2022 +0200

    Merge branch 'master' into feature/docit


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

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