[gawk-diffs] [SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-3836-g0506709

[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  050670913e185b513003b82ef9df49646c899cc4 (commit)
       via  b878ecd5d8ff1587adb72187187a40945c87b233 (commit)
       via  fb0b9cacebb6dcbbd09bdc491156bf4bd0d2022e (commit)
       via  1340f7150451f6b1d61b701c973fc0e3ba7f36da (commit)
      from  74e3b046bde9942cd4897100d6e83710b22249ed (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=050670913e185b513003b82ef9df49646c899cc4

commit 050670913e185b513003b82ef9df49646c899cc4
Merge: 74e3b04 b878ecd
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Feb 4 21:14:25 2019 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 ChangeLog      |   7 +
 NEWS           | 477 +--------------------------------------------------------
 NEWS => NEWS.1 |  44 +-----
 doc/ChangeLog  |   4 +
 doc/gawk.1     |   6 +-
 ext.c          |  38 ++---
 pc/ChangeLog   |   8 +
 pc/config.sed  |   8 +-
 pc/gawkmisc.pc |  15 ++
 9 files changed, 64 insertions(+), 543 deletions(-)
 copy NEWS => NEWS.1 (91%)


hooks/post-receive
-- 
gawk