[SCM] gawk branch, master, updated. gawk-4.1.0-5426-gdf874928

[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  df8749280443bb85353c8176a424800632a82577 (commit)
       via  03d28d8929ea0622c64f360186694b69eafb4642 (commit)
       via  24acb1a88e21351985071208cfe47d276947dc12 (commit)
      from  f8f8b894f331656b8e2e59ca3f0cbead62d39f79 (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=df8749280443bb85353c8176a424800632a82577

commit df8749280443bb85353c8176a424800632a82577
Merge: 03d28d89 24acb1a8
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Nov 5 16:04:15 2023 +0200

    Merge branch 'feature/docit'


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

Summary of changes:
 doc/ChangeLog    |  55 ++++++++++++++------------
 doc/gawk.1       |   7 ++--
 doc/it/ChangeLog |   4 ++
 doc/it/gawk.1    | 116 +++++++++++++++++++++++++++++--------------------------
 4 files changed, 100 insertions(+), 82 deletions(-)


hooks/post-receive
-- 
gawk