[SCM] gawk branch, porting, updated. gawk-4.1.0-6096-g6493a5a3

[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  6493a5a3ab46e7ea912bc1b49201b31934e2c2d4 (commit)
       via  dcb0631fd9631068ade13c4d7a63436704aed74e (commit)
       via  a71c87ff2a47a85a2d1b0342b0ddae6e4d1b68f8 (commit)
      from  bd4442373d0b4b2091f92cb949d5355d1fd411f1 (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=6493a5a3ab46e7ea912bc1b49201b31934e2c2d4

commit 6493a5a3ab46e7ea912bc1b49201b31934e2c2d4
Merge: bd444237 dcb0631f
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Feb 12 11:58:36 2024 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog         |   5 ++
 doc/gawk.info         | 189 +++++++++++++++++++++++++-------------------------
 doc/gawk.texi         |   5 +-
 extension/ChangeLog   |   5 ++
 extension/inplace.3am |   9 +++
 5 files changed, 119 insertions(+), 94 deletions(-)


hooks/post-receive
-- 
gawk