[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-3326-g002c1fe

[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  002c1fea9a83ec2d4abca4a84c7eeeee41bc219c (commit)
       via  210ab15f91e781c7c9e660c5f897cb0918b70db0 (commit)
       via  c02d836a8cdfd0c26d56b4547dfef69a762a3576 (commit)
      from  6d352b599c28cb165f14ccf71a06cdaa016646b6 (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=002c1fea9a83ec2d4abca4a84c7eeeee41bc219c

commit 002c1fea9a83ec2d4abca4a84c7eeeee41bc219c
Merge: 6d352b5 210ab15
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Jun 11 20:37:01 2018 +0300

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 doc/ChangeLog   |    6 +
 doc/gawk.info   | 1037 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |    7 +
 doc/gawktexi.in |    7 +
 4 files changed, 542 insertions(+), 515 deletions(-)


hooks/post-receive
-- 
gawk