[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-898-gb7f2322

[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  b7f2322bfa862bb7b4391392aa914f40f13e9ab3 (commit)
       via  d8018f6f8957cb67920904f08377608a7cc78307 (commit)
      from  0182312b0fc945a20a3d7aeac1488540b5518e3a (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=b7f2322bfa862bb7b4391392aa914f40f13e9ab3

commit b7f2322bfa862bb7b4391392aa914f40f13e9ab3
Merge: 0182312 d8018f6
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Oct 28 21:28:49 2014 +0200

    Merge branch 'gawk-4.1-stable'


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

Summary of changes:
 doc/ChangeLog   |    4 ++++
 doc/gawk.texi   |   38 ++++++++++++++++++--------------------
 doc/gawktexi.in |   26 ++++++++++++--------------
 3 files changed, 34 insertions(+), 34 deletions(-)


hooks/post-receive
-- 
gawk