[gawk-diffs] [SCM] gawk branch, feature/fixtype, updated. gawk-4.1.0-2054-g7cf01a0

[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  7cf01a010f2444a21a0ac3b4e257a604873a77c4 (commit)
       via  8231da563c810ce210ce309ee1a022bad22a1e13 (commit)
       via  a90f46df6a98818c99abfe4c4e0b738cb845294e (commit)
       via  587bf3c557fde9fa62a638600d002ddb4afc47a6 (commit)
       via  bfd7df7f6dffcf905c4694d6482c50a3506bd9bd (commit)
      from  1f4057bf15e23e5883b7bf1c75c72f874fb4066f (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=7cf01a010f2444a21a0ac3b4e257a604873a77c4

commit 7cf01a010f2444a21a0ac3b4e257a604873a77c4
Merge: 1f4057b 8231da5
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Oct 25 21:40:10 2016 +0300

    Merge branch 'master' into feature/fixtype


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

Summary of changes:
 ChangeLog                 |    9 +
 NEWS                      |    3 +
 builtin.c                 |   35 +-
 doc/ChangeLog             |    7 +
 doc/gawk.1                |    5 +
 doc/gawk.info             |35733 ---------------------------------------------
 doc/gawk.texi             |  134 +-
 doc/gawkinet.info         | 4406 ------
 doc/gawktexi.in           |   66 +-
 mpfr.c                    |   33 +-
 vms/ChangeLog             |    5 +
 vms/backup_gawk_src.com   |    4 +-
 vms/pcsi_product_gawk.com |   35 +-
 13 files changed, 270 insertions(+), 40205 deletions(-)
 delete mode 100644 doc/gawk.info
 delete mode 100644 doc/gawkinet.info


hooks/post-receive
-- 
gawk