[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-5139-gd3096328

[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  d309632871e4ace8f5f14cf2a5265a1516d09a54 (commit)
       via  cecb2c654b26737b23c7a41da1ccb9de9b86186b (commit)
       via  33a1b76c163a4fcb7aa874530dcd217aa514c470 (commit)
      from  628b917e92372b23c3a5db0a3f16dfa2128ffd65 (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=d309632871e4ace8f5f14cf2a5265a1516d09a54

commit d309632871e4ace8f5f14cf2a5265a1516d09a54
Merge: 628b917e cecb2c65
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Feb 10 16:14:20 2023 +0200

    Merge branch 'master' into feature/docit


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

Summary of changes:
 ChangeLog       |    5 +
 doc/ChangeLog   |    5 +
 doc/gawk.info   | 1342 +++++++++++++++++++++++++++++--------------------------
 doc/gawk.texi   |   65 ++-
 doc/gawktexi.in |   65 ++-
 io.c            |   18 +-
 test/badargs.ok |    2 +-
 7 files changed, 848 insertions(+), 654 deletions(-)


hooks/post-receive
-- 
gawk