[gawk-diffs] [SCM] gawk branch, porting, updated. c25493395c98d5eb0a2268de113be0ee6e334794

[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, porting has been updated
       via  c25493395c98d5eb0a2268de113be0ee6e334794 (commit)
       via  778977a14b50470481f2438ca8185fc187f095ee (commit)
       via  e321abfe930c98a7b027d48118f4b9a3b3059ee5 (commit)
      from  aeaf54a1b4445cf05935e6c9e3b700b4c352490a (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=c25493395c98d5eb0a2268de113be0ee6e334794

commit c25493395c98d5eb0a2268de113be0ee6e334794
Merge: aeaf54a 778977a
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Mar 15 13:59:01 2013 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog |    4 +
 doc/gawk.info | 1029 +++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi |    6 +-
 3 files changed, 522 insertions(+), 517 deletions(-)


hooks/post-receive
-- 
gawk