[gawk-diffs] [SCM] gawk branch, feature/namespaces, updated. gawk-4.1.0-3218-g5476e19

[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  5476e195d76fb9258b1ed95fc839940dc290b749 (commit)
       via  2cb763947994a1f22402807c70ce70f0a4c6f6e6 (commit)
       via  6d2c4444ccefdabe0c19faa396512d5879a3ef56 (commit)
      from  df43c21ad86f5b4745104e957772b4d505da8cbf (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=5476e195d76fb9258b1ed95fc839940dc290b749

commit 5476e195d76fb9258b1ed95fc839940dc290b749
Merge: df43c21 2cb7639
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Apr 8 21:03:57 2018 +0300

    Merge branch 'master' into feature/namespaces


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

Summary of changes:
 extension/.gitignore            | 1 +
 extension/ChangeLog             | 4 ++++
 {po => extension/po}/.gitignore | 0
 extension/po/ChangeLog          | 4 ++++
 4 files changed, 9 insertions(+)
 copy {po => extension/po}/.gitignore (100%)


hooks/post-receive
-- 
gawk