[gawk-diffs] [SCM] gawk branch, feature/fixtype, updated. gawk-4.1.0-2084-g4538f9e

[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  4538f9e94a19484f102cb71cafc3eef7fad887ca (commit)
       via  dea1c3c59c07731803669ecdc1fbf318b2d88380 (commit)
       via  4c6da6a47c9663b6cca1a4de13090d803a497038 (commit)
      from  a37b2a613273f9f2e002edbf9563be7cbcce15f1 (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=4538f9e94a19484f102cb71cafc3eef7fad887ca

commit 4538f9e94a19484f102cb71cafc3eef7fad887ca
Merge: a37b2a6 dea1c3c
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Nov 8 23:12:22 2016 +0200

    Merge branch 'master' into feature/fixtype


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

Summary of changes:
 doc/ChangeLog   |    8 +
 doc/gawk.info   |  634 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |    6 +-
 doc/gawktexi.in |    6 +-
 doc/wordlist    |    1 -
 5 files changed, 331 insertions(+), 324 deletions(-)


hooks/post-receive
-- 
gawk