[SCM] gawk branch, porting, updated. gawk-4.1.0-5726-gc280827e

[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, porting has been updated
       via  c280827e34a89e94b3694006261142b18c801c6f (commit)
       via  f60fe7e831e6ac2fc817b503a89e98b4396cd6c2 (commit)
       via  3d7e2e99724fdb52daabcd39f1ee6cffe70ee75f (commit)
       via  2a1050120ada686a6bdfeee494eb0ad7eef67f5c (commit)
       via  4aa0bf293859668649f1354ee588ea75a4bb0b74 (commit)
       via  72a84d27f1011fd0381e61804b9cf0df68c575ae (commit)
       via  82ac553dbf186f5056cfb3955efdbab692d19813 (commit)
       via  fd450250a51a5c126804c5c5fb3cc2c866184592 (commit)
      from  6bb1a1d067bd885a03c114dec74b4eeb7d089581 (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=c280827e34a89e94b3694006261142b18c801c6f

commit c280827e34a89e94b3694006261142b18c801c6f
Merge: 6bb1a1d0 f60fe7e8
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Mar 29 20:35:35 2023 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 build-aux/ChangeLog   |    4 +
 build-aux/texinfo.tex |  252 ++++++------
 doc/ChangeLog         |   10 +
 doc/gawk.info         | 1092 +++++++++++++++++++++++++------------------------
 doc/gawk.texi         |   60 ++-
 doc/gawktexi.in       |   33 +-
 doc/it/ChangeLog      |   10 +
 doc/it/gawk.1         |   26 ++
 doc/it/gawktexi.in    |  256 +++++++++---
 doc/it/texinfo.tex    |  252 +++++++-----
 doc/texinfo.tex       |  252 ++++++------
 extension/ChangeLog   |    5 +
 extension/filefuncs.c |    2 +-
 13 files changed, 1302 insertions(+), 952 deletions(-)
 mode change 100644 => 100755 doc/it/gawk.1
 mode change 100644 => 100755 doc/it/texinfo.tex


hooks/post-receive
-- 
gawk