[gawk-diffs] [SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-3728-g6dd3d65

[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  6dd3d65950f7676792b535364a6f90c6a3edf5d6 (commit)
       via  34622512479581e773239909c5ad8c3d8fd5d7b8 (commit)
       via  c856f5c96f88cc8a5aacf6ee90e92ed80bd8c3ba (commit)
      from  ff4e6c20f16a774f51fc9c3696d1f165631ee4e1 (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=6dd3d65950f7676792b535364a6f90c6a3edf5d6

commit 6dd3d65950f7676792b535364a6f90c6a3edf5d6
Merge: ff4e6c2 3462251
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Dec 6 21:52:35 2018 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 ChangeLog                        |  6 ++++++
 config.guess                     |  5 ++++-
 config.sub                       |  4 ++--
 configure                        | 10 +++++++++-
 configure.ac                     | 10 +++++++++-
 extension/build-aux/ChangeLog    |  4 ++++
 extension/build-aux/config.guess |  5 ++++-
 extension/build-aux/config.sub   |  4 ++--
 8 files changed, 40 insertions(+), 8 deletions(-)


hooks/post-receive
-- 
gawk