[gawk-diffs] [SCM] gawk branch, comment, updated. gawk-4.1.0-854-g3225a4e

[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, comment has been updated
       via  3225a4e4256d827a521c7127620e34a167f6e195 (commit)
       via  510b5a48ec42ca1335b61421d40f9914db6f9d07 (commit)
       via  da40c668c34535b7068bd1d228d6debaf2fb7bb6 (commit)
       via  bef9bb953fe57ad027d596501b64230b526f0fda (commit)
      from  ed633f19bdbb66ac12aaf66cf46b458558eaedbd (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=3225a4e4256d827a521c7127620e34a167f6e195

commit 3225a4e4256d827a521c7127620e34a167f6e195
Merge: ed633f1 510b5a4
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Oct 2 19:43:35 2014 +0300

    Merge branch 'master' into comment


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

Summary of changes:
 awklib/eg/lib/div.awk |    2 +-
 doc/ChangeLog         |    9 +
 doc/gawk.info         | 1213 +++++++++++++++++++++++++------------------------
 doc/gawk.texi         |   76 ++--
 doc/gawktexi.in       |   76 ++--
 5 files changed, 689 insertions(+), 687 deletions(-)


hooks/post-receive
-- 
gawk