[gawk-diffs] [SCM] gawk branch, feature/fixtype, updated. gawk-4.1.0-2081-ga37b2a6

[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/fixtype has been updated
       via  a37b2a613273f9f2e002edbf9563be7cbcce15f1 (commit)
       via  8444d69c736b76678d96a993f27853173a9e0e77 (commit)
       via  e331f49edafc56bf8f32cc82adacd6c109666ad1 (commit)
      from  d94b75cb76efaf946bac9af3af3fdea8a88b193b (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=a37b2a613273f9f2e002edbf9563be7cbcce15f1

commit a37b2a613273f9f2e002edbf9563be7cbcce15f1
Merge: d94b75c 8444d69
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Nov 7 21:24:25 2016 +0200

    Merge branch 'master' into feature/fixtype


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

Summary of changes:
 test/ChangeLog    |    8 ++++++++
 test/Makefile.am  |   12 +-----------
 test/Makefile.in  |   12 +-----------
 test/valgrind.awk |   43 +++++++++++++++++++++++++++++++++++++++++++
 4 files changed, 53 insertions(+), 22 deletions(-)
 create mode 100644 test/valgrind.awk


hooks/post-receive
-- 
gawk