[gawk-diffs] [SCM] gawk branch, feature/namespaces, updated. gawk-4.1.0-3208-ga125fab

[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  a125fab90fb75c0084fafca9be6f68d4c10d8d11 (commit)
       via  2f996c14cd0175edf4fedf8335e40c4dd46e67f7 (commit)
      from  1db93dec915ddcf61694106a906766d946b27383 (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=a125fab90fb75c0084fafca9be6f68d4c10d8d11

commit a125fab90fb75c0084fafca9be6f68d4c10d8d11
Merge: 1db93de 2f996c1
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Mar 30 08:20:56 2018 +0300

    Merge branch 'master' into feature/namespaces


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

Summary of changes:
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 37 ++++++++++++++++++++++++++++---------
 2 files changed, 32 insertions(+), 9 deletions(-)


hooks/post-receive
-- 
gawk