[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-5077-g6b22996f

[Antonio Giovanni Colombo]

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, feature/docit has been updated
       via  6b22996fcf5da7293c9d3c8b96556d69c4ab7221 (commit)
      from  c626b2505d0090356ae536d387cad4cd9f9a069b (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=6b22996fcf5da7293c9d3c8b96556d69c4ab7221

commit 6b22996fcf5da7293c9d3c8b96556d69c4ab7221
Author: Antonio Giovanni Colombo <azc100@gmail.com>
Date:   Thu Dec 1 16:07:06 2022 +0100

    no more libsigsegv

diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog
index b7915509..5e691257 100755
--- a/doc/it/ChangeLog
+++ b/doc/it/ChangeLog
@@ -1,3 +1,7 @@
+2022-12-01         Antonio Giovanni Colombo   <azc100@gmail.com>
+
+       * gawktexi.in: Updated.
+
 2022-11-23         Antonio Giovanni Colombo   <azc100@gmail.com>
 
        * gawktexi.in: Updated.
diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in
index f6fb2eac..d481ed70 100755
--- a/doc/it/gawktexi.in
+++ b/doc/it/gawktexi.in
@@ -45580,6 +45580,12 @@ Divisione di campi per i file CSV
 Gli elementi @code{"mb_cur_max"} e @code{"utf8"} nel vettore
 @code{PROCINFO} (@pxref{Variabili auto-assegnate}).
 
+@item
+La necessit@`a di utilizzare la libreria GNU @code{libsigsegv}
+@`e stata rimossa da @command{gawk}.
+Il valore aggiunto non @`e mai stato grande, e il suo utilizzo
+creava problemi in alcuni sistemi operativi.
+
 @end itemize
 
 @c XXX ADD MORE STUFF HERE

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

Summary of changes:
 doc/it/ChangeLog   | 4 ++++
 doc/it/gawktexi.in | 6 ++++++
 2 files changed, 10 insertions(+)


hooks/post-receive
-- 
gawk