[SCM] gawk branch, master, updated. gawk-4.1.0-5138-g0ada00ce

[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  0ada00ce0b21241cf81181cd93d3fbaa58fa4a98 (commit)
      from  cecb2c654b26737b23c7a41da1ccb9de9b86186b (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=0ada00ce0b21241cf81181cd93d3fbaa58fa4a98

commit 0ada00ce0b21241cf81181cd93d3fbaa58fa4a98
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Feb 12 21:10:28 2023 +0200

    Doc fixes.

diff --git a/ChangeLog b/ChangeLog
index 9b763864..c39e41e0 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,7 +1,13 @@
+2023-02-12         Arnold D. Robbins     <arnold@skeeve.com>
+
+       * NEWS: Updated.
+
 2023-02-10         Arnold D. Robbins     <arnold@skeeve.com>
 
        * io.c (avoid_flush): New function.
        (redirect_string): Use it when setting up an output pipeline.
+       Thanks to Alexandre Ferrieux <alexandre.ferrieux@orange.com>
+       for pointing out the performance issue.
 
 2023-02-09         Arnold D. Robbins     <arnold@skeeve.com>
 
diff --git a/NEWS b/NEWS
index 365b1590..6b93e46a 100644
--- a/NEWS
+++ b/NEWS
@@ -16,7 +16,8 @@ Changes from 5.2.2 to 5.3.0
    that of the "One True AWK", when FS = "," is applied. See the
    manual for details.
 
-3. PROCINFO gained a new element: PROCINFO["pma"].  See the manual
+3. If PROCINFO["BUFFERPIPE"] exists, then pipe output is buffered.
+   You can also use PROCINFO["command", "BUFFERPIPE"]. See the manual
    for details.
 
 Changes from 5.2.1 to 5.2.2

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

Summary of changes:
 ChangeLog | 6 ++++++
 NEWS      | 3 ++-
 2 files changed, 8 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk