[gawk-diffs] [SCM] gawk branch, feature/namespaces, updated. gawk-4.1.0-3163-gd084f0f

[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  d084f0fb72533e3f12b95a171941a3a424a524f8 (commit)
       via  bca83b23524cc30860563f4b3872c8427e55ab8c (commit)
      from  faa6cfc2e2e84c3b1057f5635bf1c2f20e292fc6 (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=d084f0fb72533e3f12b95a171941a3a424a524f8

commit d084f0fb72533e3f12b95a171941a3a424a524f8
Merge: faa6cfc bca83b2
Author: Arnold D. Robbins <address@hidden>
Date:   Sat Feb 17 21:52:23 2018 +0200

    Merge branch 'master' into feature/namespaces


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

Summary of changes:
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 12 ++++++------
 2 files changed, 10 insertions(+), 6 deletions(-)


hooks/post-receive
-- 
gawk