[gawk-diffs] [SCM] gawk branch, feature/fixtype, updated. gawk-4.1.0-1996-g6d255ee

[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  6d255ee8ab39492f56ca6228eeb74f0cbf04c9e7 (commit)
       via  102b1fd9e07076ba42e984bf691bbdee6fe95fb5 (commit)
       via  5b21e17f6e827c55a93a6fb1e7165ee6dde6ddc1 (commit)
       via  9f4d164892060f09d0bae301300627f9917a6951 (commit)
      from  635274df3ddba6f24e16689d70705cd1d72824ed (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=6d255ee8ab39492f56ca6228eeb74f0cbf04c9e7

commit 6d255ee8ab39492f56ca6228eeb74f0cbf04c9e7
Merge: 635274d 102b1fd
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Aug 24 21:52:10 2016 +0300

    Merge branch 'master' into feature/fixtype


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

Summary of changes:
 doc/ChangeLog   |    5 +
 doc/gawk.info   | 1054 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |    6 +-
 doc/gawktexi.in |    6 +-
 doc/wordlist    |  188 ++++++++++
 5 files changed, 726 insertions(+), 533 deletions(-)


hooks/post-receive
-- 
gawk