[SCM] gawk branch, master, updated. gawk-4.1.0-5299-gb7375712

[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  b7375712d27e71557a8459244ea42ec1fa8a16da (commit)
       via  626cc18765fd1e7c2b4e5f4a41175ec04a662acc (commit)
       via  f828dc8a65041f8fea9b7bb0715d951a943d54f5 (commit)
      from  3e3c926e7a03c20b2255dd07e2ec9fd7b82258e5 (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=b7375712d27e71557a8459244ea42ec1fa8a16da

commit b7375712d27e71557a8459244ea42ec1fa8a16da
Merge: 3e3c926e 626cc187
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jun 2 11:28:37 2023 +0300

    Merge branch 'feature/docit'


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

Summary of changes:
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 29 ++++++++++++-----------------
 2 files changed, 16 insertions(+), 17 deletions(-)


hooks/post-receive
-- 
gawk