[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-2468-gdf801a2

[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, feature/fix-comments has been updated
       via  df801a207996689d3ab65c0db9387413b5fbad1d (commit)
       via  eb8d0c64228657bad4ef2e2fd732eeed937f3af1 (commit)
       via  0d33c5c273087061f390ad7b519a2cf63b8d786d (commit)
       via  af3bd5ea36908e9d706dd18bfd263e3fd83ee279 (commit)
      from  125c0cc16af6d57fa6b7fa19420e3e957f4e85ac (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=df801a207996689d3ab65c0db9387413b5fbad1d

commit df801a207996689d3ab65c0db9387413b5fbad1d
Merge: 125c0cc eb8d0c6
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Feb 13 06:21:40 2017 +0200

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 doc/ChangeLog   |  10 +++
 doc/gawk.info   | 270 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   8 +-
 doc/gawktexi.in |   8 +-
 doc/wordlist    |   6 +-
 5 files changed, 158 insertions(+), 144 deletions(-)


hooks/post-receive
-- 
gawk