[SCM] gawk branch, master, updated. gawk-4.1.0-5145-g0a6ab36f

[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  0a6ab36fe60438a4c98eb6f216efc3a6a9cf52d2 (commit)
       via  9364221e26d2d33e722ea7e887063e4a38bc38d2 (commit)
       via  e63cca98399dba068ef2c8fa9dff6be26e938b0c (commit)
       via  9a90db38b60a16259b5052231c189e78a00db364 (commit)
       via  5384f3ac1faee87420abe2935b9bf46548eb4f5c (commit)
       via  d309632871e4ace8f5f14cf2a5265a1516d09a54 (commit)
       via  628b917e92372b23c3a5db0a3f16dfa2128ffd65 (commit)
      from  0ada00ce0b21241cf81181cd93d3fbaa58fa4a98 (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=0a6ab36fe60438a4c98eb6f216efc3a6a9cf52d2

commit 0a6ab36fe60438a4c98eb6f216efc3a6a9cf52d2
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Feb 15 08:43:31 2023 +0200

    Increment manual EDITION to 5.3.

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 00c0d93a..50fceabf 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,8 @@
+2023-02-15         Arnold D. Robbins     <arnold@skeeve.com>
+
+       * gawktexi.in (EDITION): Bump to 5.3. Thanks to Antonio
+       Columbo for the suggestion.
+
 2023-02-10         Arnold D. Robbins     <arnold@skeeve.com>
 
        * gawktexi.in (Noflush): New section.
diff --git a/doc/gawk.info b/doc/gawk.info
index 218f333c..cf431ede 100644
--- a/doc/gawk.info
+++ b/doc/gawk.info
@@ -4,7 +4,7 @@ Copyright © 1989, 1991, 1992, 1993, 1996–2005, 2007, 
2009–2023
 Free Software Foundation, Inc.
 
 
-   This is Edition 5.2 of ‘GAWK: Effective AWK Programming: A User’s
+   This is Edition 5.3 of ‘GAWK: Effective AWK Programming: A User’s
 Guide for GNU Awk’, for the 5.3.0 (or later) version of the GNU
 implementation of AWK.
 
@@ -41,7 +41,7 @@ particular records in a file and perform operations upon them.
 Free Software Foundation, Inc.
 
 
-   This is Edition 5.2 of ‘GAWK: Effective AWK Programming: A User’s
+   This is Edition 5.3 of ‘GAWK: Effective AWK Programming: A User’s
 Guide for GNU Awk’, for the 5.3.0 (or later) version of the GNU
 implementation of AWK.
 
diff --git a/doc/gawk.texi b/doc/gawk.texi
index 85ccc261..89eba149 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -73,7 +73,7 @@
 @set TITLE GAWK: Effective AWK Programming
 @end ifclear
 @set SUBTITLE A User's Guide for GNU Awk
-@set EDITION 5.2
+@set EDITION 5.3
 
 @iftex
 @set DOCUMENT book
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 951c118f..b1f961b3 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -68,7 +68,7 @@
 @set TITLE GAWK: Effective AWK Programming
 @end ifclear
 @set SUBTITLE A User's Guide for GNU Awk
-@set EDITION 5.2
+@set EDITION 5.3
 
 @iftex
 @set DOCUMENT book
diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog
index 551f9d34..09ec4a8a 100755
--- a/doc/it/ChangeLog
+++ b/doc/it/ChangeLog
@@ -1,3 +1,8 @@
+2023-02-15         Arnold D. Robbins     <arnold@skeeve.com>
+
+       * gawktexi.in (EDITION): Bump to 5.3. Thanks to Antonio
+       Columbo for the suggestion.
+
 2023-02-13         Antonio Giovanni Colombo   <azc100@gmail.com>
 
        * gawktexi.in: Updated.
diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in
index f9b8ab21..47e7d98a 100755
--- a/doc/it/gawktexi.in
+++ b/doc/it/gawktexi.in
@@ -73,7 +73,7 @@
 @set TITLE GAWK: Programmare efficacemente in AWK
 @end ifclear
 @set SUBTITLE Una Guida Utente per GNU Awk
-@set EDITION 5.2
+@set EDITION 5.3
 
 @iftex
 @set DOCUMENT libro

http://git.sv.gnu.org/cgit/gawk.git/commit/?id=9364221e26d2d33e722ea7e887063e4a38bc38d2

commit 9364221e26d2d33e722ea7e887063e4a38bc38d2
Merge: 9a90db38 e63cca98
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Feb 15 08:40:03 2023 +0200

    Merge branch 'gawk-5.2-stable'


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

Summary of changes:
 ChangeLog          |  2 +-
 doc/ChangeLog      |  5 +++
 doc/gawk.info      |  4 +--
 doc/gawk.texi      |  2 +-
 doc/gawktexi.in    |  2 +-
 doc/it/ChangeLog   | 13 ++++++++
 doc/it/gawktexi.in | 91 +++++++++++++++++++++++++++++++++++++++++++++---------
 7 files changed, 100 insertions(+), 19 deletions(-)


hooks/post-receive
-- 
gawk