[gawk-diffs] [SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-3403-g07d9751

[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  07d9751cd41fd9df90edaa6bc81643e9aee9585e (commit)
       via  ac2ff45364ab20c1a2bc82f779738f33f90808dd (commit)
       via  2e1281063c92115a8da96906aab6e2be0e9dd78d (commit)
       via  a3ad4921f31020b0f2bedc936fcd050ef5c2e698 (commit)
       via  531cf0ed26f857c2a2d3b13baf70eae72cefe6f7 (commit)
       via  0624fb68b8d0ad2bef23bf4e2b68297a1162ad7d (commit)
      from  449dfd188aa335a93b9ccc6d018d4a0057a6a1e1 (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=07d9751cd41fd9df90edaa6bc81643e9aee9585e

commit 07d9751cd41fd9df90edaa6bc81643e9aee9585e
Merge: 449dfd1 ac2ff45
Author: Arnold D. Robbins <address@hidden>
Date:   Sat Nov 24 20:26:04 2018 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 ChangeLog            |   6 +
 doc/ChangeLog        |   5 +
 doc/gawk.info        | 855 ++++++++++++++++++++++++++-------------------------
 doc/gawk.texi        |  16 +
 doc/gawktexi.in      |  16 +
 main.c               |  75 +++--
 po/ChangeLog         |   4 +
 po/it.po             | 153 +++++----
 test/ChangeLog       |  11 +
 test/Makefile.am     |  15 +-
 test/Makefile.in     |  18 +-
 test/Maketests       |   5 -
 test/spacere.awk     |   2 +-
 test/typedregex4.awk |   7 +
 test/typedregex4.ok  |   2 +
 15 files changed, 648 insertions(+), 542 deletions(-)
 create mode 100644 test/typedregex4.awk
 create mode 100644 test/typedregex4.ok


hooks/post-receive
-- 
gawk