[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-5895-g4554020a

[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, feature/improve-inet has been updated
       via  4554020a09ca82f53644923bfe70427f0daa3918 (commit)
       via  ed09e9c66665f98eb070cc28d87abb9cb0096c3f (commit)
       via  f4b1428b8516e0457061f9c60e93b5f1b524ca66 (commit)
       via  57a2c2e0b646391c0331e4fc5dfb07685483742a (commit)
       via  e5b9ad7e39b2b3fc7c3bf502075a60cc2a35af61 (commit)
       via  22d97f2a81e3c89b1eb13e0ab9f0236d01f4b8d1 (commit)
      from  e8e247f829179c5f164c4e013d0fa985b9a86708 (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=4554020a09ca82f53644923bfe70427f0daa3918

commit 4554020a09ca82f53644923bfe70427f0daa3918
Merge: e8e247f8 ed09e9c6
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Mar 12 21:28:24 2023 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 doc/it/{api-figura1.eps => gawk-api-figura1.eps}   |    0
 doc/it/{api-figura1.fig => gawk-api-figura1.fig}   |    0
 doc/it/{api-figura1.pdf => gawk-api-figura1.pdf}   |  Bin
 doc/it/{api-figura1.png => gawk-api-figura1.png}   |  Bin
 doc/it/{api-figura1.txt => gawk-api-figura1.txt}   |    0
 doc/it/{api-figura2.eps => gawk-api-figura2.eps}   |    0
 doc/it/{api-figura2.fig => gawk-api-figura2.fig}   |    0
 doc/it/{api-figura2.pdf => gawk-api-figura2.pdf}   |  Bin
 doc/it/{api-figura2.png => gawk-api-figura2.png}   |  Bin
 doc/it/{api-figura2.txt => gawk-api-figura2.txt}   |    0
 doc/it/{api-figura3.eps => gawk-api-figura3.eps}   |    0
 doc/it/{api-figura3.fig => gawk-api-figura3.fig}   |    0
 doc/it/{api-figura3.pdf => gawk-api-figura3.pdf}   |  Bin
 doc/it/{api-figura3.png => gawk-api-figura3.png}   |  Bin
 doc/it/{api-figura3.txt => gawk-api-figura3.txt}   |    0
 ...aborazione.eps => gawk-flusso-elaborazione.eps} |    0
 ...aborazione.fig => gawk-flusso-elaborazione.fig} |    0
 ...aborazione.pdf => gawk-flusso-elaborazione.pdf} |  Bin
 ...aborazione.png => gawk-flusso-elaborazione.png} |  Bin
 ...aborazione.txt => gawk-flusso-elaborazione.txt} |    0
 ...ma-generico.eps => gawk-programma-generico.eps} |    0
 ...ma-generico.fig => gawk-programma-generico.fig} |    0
 ...ma-generico.pdf => gawk-programma-generico.pdf} |  Bin
 ...ma-generico.png => gawk-programma-generico.png} |  Bin
 ...ma-generico.txt => gawk-programma-generico.txt} |    0
 ...tore-elementi.eps => gawk-vettore-elementi.eps} |    0
 ...tore-elementi.fig => gawk-vettore-elementi.fig} |    0
 ...tore-elementi.pdf => gawk-vettore-elementi.pdf} |  Bin
 ...tore-elementi.png => gawk-vettore-elementi.png} |  Bin
 ...tore-elementi.txt => gawk-vettore-elementi.txt} |    0
 doc/it/gawkbug.1                                   |   84 ++
 doc/it/gawktexi.in                                 |   36 +-
 extension/ChangeLog                                |   11 +
 extension/readdir_test.c                           |    2 +-
 extension/time.c                                   |    8 +-
 missing_d/ChangeLog                                |    4 +
 missing_d/strptime.c                               | 1164 ++++++++++++++++++++
 pc/ChangeLog                                       |    4 +
 pc/Makefile.ext                                    |    2 +-
 po/ChangeLog                                       |    4 +
 po/it.po                                           |  403 ++++---
 41 files changed, 1494 insertions(+), 228 deletions(-)
 rename doc/it/{api-figura1.eps => gawk-api-figura1.eps} (100%)
 rename doc/it/{api-figura1.fig => gawk-api-figura1.fig} (100%)
 rename doc/it/{api-figura1.pdf => gawk-api-figura1.pdf} (100%)
 rename doc/it/{api-figura1.png => gawk-api-figura1.png} (100%)
 rename doc/it/{api-figura1.txt => gawk-api-figura1.txt} (100%)
 rename doc/it/{api-figura2.eps => gawk-api-figura2.eps} (100%)
 rename doc/it/{api-figura2.fig => gawk-api-figura2.fig} (100%)
 rename doc/it/{api-figura2.pdf => gawk-api-figura2.pdf} (100%)
 rename doc/it/{api-figura2.png => gawk-api-figura2.png} (100%)
 rename doc/it/{api-figura2.txt => gawk-api-figura2.txt} (100%)
 rename doc/it/{api-figura3.eps => gawk-api-figura3.eps} (100%)
 rename doc/it/{api-figura3.fig => gawk-api-figura3.fig} (100%)
 rename doc/it/{api-figura3.pdf => gawk-api-figura3.pdf} (100%)
 rename doc/it/{api-figura3.png => gawk-api-figura3.png} (100%)
 rename doc/it/{api-figura3.txt => gawk-api-figura3.txt} (100%)
 rename doc/it/{flusso-elaborazione.eps => gawk-flusso-elaborazione.eps} (100%)
 rename doc/it/{flusso-elaborazione.fig => gawk-flusso-elaborazione.fig} (100%)
 rename doc/it/{flusso-elaborazione.pdf => gawk-flusso-elaborazione.pdf} (100%)
 rename doc/it/{flusso-elaborazione.png => gawk-flusso-elaborazione.png} (100%)
 rename doc/it/{flusso-elaborazione.txt => gawk-flusso-elaborazione.txt} (100%)
 rename doc/it/{programma-generico.eps => gawk-programma-generico.eps} (100%)
 rename doc/it/{programma-generico.fig => gawk-programma-generico.fig} (100%)
 rename doc/it/{programma-generico.pdf => gawk-programma-generico.pdf} (100%)
 rename doc/it/{programma-generico.png => gawk-programma-generico.png} (100%)
 rename doc/it/{programma-generico.txt => gawk-programma-generico.txt} (100%)
 rename doc/it/{vettore-elementi.eps => gawk-vettore-elementi.eps} (100%)
 rename doc/it/{vettore-elementi.fig => gawk-vettore-elementi.fig} (100%)
 rename doc/it/{vettore-elementi.pdf => gawk-vettore-elementi.pdf} (100%)
 rename doc/it/{vettore-elementi.png => gawk-vettore-elementi.png} (100%)
 rename doc/it/{vettore-elementi.txt => gawk-vettore-elementi.txt} (100%)
 create mode 100755 doc/it/gawkbug.1
 create mode 100644 missing_d/strptime.c


hooks/post-receive
-- 
gawk