[gawk-diffs] [SCM] gawk branch, feature/namespaces, updated. gawk-4.1.0-3231-g1444a37

[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/namespaces has been updated
       via  1444a37f196e8403ca2e6ad25957eec02537924e (commit)
       via  dc99abc9803ae1d6481eb2da77b6c67eb9d5880d (commit)
       via  de01864ccec043ee343de0e4ae17b6ccc27bd13c (commit)
       via  9d4eabdf68a3f251dcde079a8ff29ccf83fee122 (commit)
      from  3b0fffd4300132a44c9edf8a315671583bf19f2b (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=1444a37f196e8403ca2e6ad25957eec02537924e

commit 1444a37f196e8403ca2e6ad25957eec02537924e
Merge: 3b0fffd dc99abc
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Apr 18 12:49:09 2018 +0300

    Merge branch 'master' into feature/namespaces


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

Summary of changes:
 ChangeLog                      |  4 ++++
 config.sub                     | 10 +++++++---
 extension/build-aux/ChangeLog  |  4 ++++
 extension/build-aux/config.sub | 10 +++++++---
 pc/ChangeLog                   |  5 +++++
 pc/config.h                    |  2 +-
 pc/config.sed                  |  2 +-
 7 files changed, 29 insertions(+), 8 deletions(-)


hooks/post-receive
-- 
gawk