[gawk-diffs] [SCM] gawk branch, feature/fixtype, updated. gawk-4.1.0-2035-g1a9f578

[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  1a9f578a4a54493cb4fbaee8efab4937fc2f9054 (commit)
       via  2acb7e752d79c8c57098461c00d2a1022e761b55 (commit)
       via  234fe8af6075075c84e142d2f62ee35a7006a39b (commit)
      from  235cb5321e670c52107a1d328c53b3c9f0ac7a4d (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=1a9f578a4a54493cb4fbaee8efab4937fc2f9054

commit 1a9f578a4a54493cb4fbaee8efab4937fc2f9054
Merge: 235cb53 2acb7e7
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Oct 2 13:54:29 2016 +0300

    Merge branch 'master' into feature/fixtype


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

Summary of changes:
 doc/ChangeLog   |    6 +
 doc/gawk.info   | 1221 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   86 ++--
 doc/gawktexi.in |   86 ++--
 4 files changed, 736 insertions(+), 663 deletions(-)


hooks/post-receive
-- 
gawk