[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-3243-g0c336a0

[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  0c336a08a7e596d9bb2e24384e3c6f2120567c5a (commit)
       via  bc7fa594a66d739002e96579fcb5a6c7a832cc9a (commit)
       via  9e7d18a1e9464d9650c94eeebc86856afc4cc665 (commit)
      from  adcc3b031e9cf213dc895825e29cadc05e124bde (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=0c336a08a7e596d9bb2e24384e3c6f2120567c5a

commit 0c336a08a7e596d9bb2e24384e3c6f2120567c5a
Merge: adcc3b0 bc7fa59
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Mar 26 21:54:50 2018 +0300

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 doc/ChangeLog   |    5 +
 doc/gawk.1      |    5 +-
 doc/gawk.info   | 1155 +++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |    8 +-
 doc/gawktexi.in |    8 +-
 5 files changed, 592 insertions(+), 589 deletions(-)


hooks/post-receive
-- 
gawk