[gawk-diffs] [SCM] gawk branch, feature/namespaces, updated. gawk-4.1.0-3077-geae0c28

[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  eae0c28e240329a4242194d728ed19a512f7fee1 (commit)
       via  d88aa6aa32bfc1a1f56a8e25aa0f37553bd2ddce (commit)
      from  3faa1e1fd1fdbfc883707e4012b0c059093eeaa5 (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=eae0c28e240329a4242194d728ed19a512f7fee1

commit eae0c28e240329a4242194d728ed19a512f7fee1
Merge: 3faa1e1 d88aa6a
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Jan 18 18:04:30 2018 +0200

    Merge branch 'master' into feature/namespaces


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

Summary of changes:
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 14 +++++++-------
 2 files changed, 11 insertions(+), 7 deletions(-)


hooks/post-receive
-- 
gawk