[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-959-ge65bf17

[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, master has been updated
       via  e65bf179b2c804d2af89f938fa7434cb03d3b52b (commit)
       via  46fb38d70fe250f318fb95a6083beaceaaf5155d (commit)
      from  add7cf1fd2229b7245d8a611f98ac7310e157f76 (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=e65bf179b2c804d2af89f938fa7434cb03d3b52b

commit e65bf179b2c804d2af89f938fa7434cb03d3b52b
Merge: add7cf1 46fb38d
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Nov 17 16:50:44 2014 +0200

    Merge branch 'gawk-4.1-stable'


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

Summary of changes:
 doc/gawk.info   |    2 +-
 doc/gawk.texi   |    3 ++-
 doc/gawktexi.in |    3 ++-
 3 files changed, 5 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
gawk