[gawk-diffs] [SCM] gawk branch, feature/namespaces, updated. gawk-4.1.0-3412-gcfedaa9

[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  cfedaa99d788ba191bd8f7bb5c0fd56d3afbfd8a (commit)
       via  49136c983c3d4ab53f144f2989dee60a67745300 (commit)
       via  26b1a15e75cc1d134e8b52b0df9a5d1365e66d8f (commit)
       via  cfd4fdf483194e09c57da590ada1e3533a19e615 (commit)
      from  629b57efdcd2d3b20b04c30e8d3eafd9bfd4a4a1 (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=cfedaa99d788ba191bd8f7bb5c0fd56d3afbfd8a

commit cfedaa99d788ba191bd8f7bb5c0fd56d3afbfd8a
Merge: 629b57e 49136c9
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Sep 23 10:00:04 2018 +0300

    Merge branch 'master' into feature/namespaces


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

Summary of changes:
 ChangeLog       | 5 +++++
 awk.h           | 2 ++
 doc/ChangeLog   | 5 +++++
 doc/gawk.info   | 2 +-
 doc/gawk.texi   | 2 +-
 doc/gawktexi.in | 2 +-
 6 files changed, 15 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
gawk