[gawk-diffs] [SCM] gawk branch, feature/cmake, updated. gawk-4.1.0-1860-g7512c31

[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/cmake has been updated
       via  7512c31b991b506de74f6e2971737d51418ccf68 (commit)
       via  1a8dca67c0be082896c15e9f5e7f305fa003cdd8 (commit)
       via  693ca0a2c40ebfdc73f29a5696a4b0d3de0c71dc (commit)
      from  9a4460fd589148895425cc80a98661f2b33839b1 (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=7512c31b991b506de74f6e2971737d51418ccf68

commit 7512c31b991b506de74f6e2971737d51418ccf68
Merge: 9a4460f 1a8dca6
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Apr 13 21:19:57 2016 +0300

    Merge branch 'master' into feature/cmake


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

Summary of changes:
 doc/ChangeLog     |    6 +
 doc/gawkinet.info |  237 +++++++++++++++++----------------
 doc/gawkinet.texi |  390 ++++++++---------------------------------------------
 3 files changed, 187 insertions(+), 446 deletions(-)


hooks/post-receive
-- 
gawk