[gawk-diffs] [SCM] gawk branch, feature/namespaces, updated. gawk-4.1.0-3384-g88ede0e

[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  88ede0e762c7506bf89f07b1ae8352b1a320b5bf (commit)
       via  ff1c6aa3df9fb3432d3cdcc61be7fa2fdc1d517e (commit)
       via  81f53c08b12ba4150e02a2dcb647d8176570fca1 (commit)
      from  7e02485fa62aa49716bfe1e3526214437492977e (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=88ede0e762c7506bf89f07b1ae8352b1a320b5bf

commit 88ede0e762c7506bf89f07b1ae8352b1a320b5bf
Merge: 7e02485 ff1c6aa
Author: Arnold D. Robbins <address@hidden>
Date:   Sat Sep 8 21:43:34 2018 +0300

    Merge branch 'master' into feature/namespaces


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

Summary of changes:
 pc/ChangeLog  | 5 +++++
 pc/config.h   | 4 ++++
 pc/config.sed | 6 ++++++
 3 files changed, 15 insertions(+)


hooks/post-receive
-- 
gawk