[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-3319-g6f17822

[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  6f17822859a111f153ba9a2efdf30f4430150c0d (commit)
       via  f414221a8c5904fa2c43256a39ce2e3b1faa2214 (commit)
       via  b92de42c775ab615e2dd49aff0b66da4c2c31be4 (commit)
      from  bc61f29c492b480545ae31b4b5709f76fe3710b0 (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=6f17822859a111f153ba9a2efdf30f4430150c0d

commit 6f17822859a111f153ba9a2efdf30f4430150c0d
Merge: bc61f29 f414221
Author: Arnold D. Robbins <address@hidden>
Date:   Thu May 31 17:35:18 2018 +0300

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 doc/ChangeLog   |   6 +
 doc/gawk.info   | 791 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |  11 +-
 doc/gawktexi.in |  11 +-
 4 files changed, 414 insertions(+), 405 deletions(-)


hooks/post-receive
-- 
gawk