[SCM] gawk branch, master, updated. gawk-4.1.0-5488-gdcb0631f

[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  dcb0631fd9631068ade13c4d7a63436704aed74e (commit)
       via  a71c87ff2a47a85a2d1b0342b0ddae6e4d1b68f8 (commit)
      from  5b4e1d1565b95327f03b6ceb56bdf08864d71588 (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=dcb0631fd9631068ade13c4d7a63436704aed74e

commit dcb0631fd9631068ade13c4d7a63436704aed74e
Merge: 5b4e1d15 a71c87ff
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Feb 12 11:57:24 2024 +0200

    Merge branch 'gawk-5.3-stable'


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

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