[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-1131-g8954618

[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  8954618d1958e26389519e7322e01ca8caafdf66 (commit)
       via  db6a69baecd9b7a98e6de31eec2e20477130d8ef (commit)
      from  f70c3912a36e8d2ca4e63d0e1d7491f580b5c9f2 (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=8954618d1958e26389519e7322e01ca8caafdf66

commit 8954618d1958e26389519e7322e01ca8caafdf66
Merge: f70c391 db6a69b
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Mar 1 06:17:04 2015 +0200

    Merge branch 'gawk-4.1-stable'


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

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


hooks/post-receive
-- 
gawk