[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-3371-g882905d

[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  882905db28d022514cdffe47ba8153fffb05e9d5 (commit)
       via  5d9a38ba513b6b8216e373f7297eab69eebcfebb (commit)
       via  ae3c6bfca054920ff88501d3c6e663617f611478 (commit)
      from  ef5a30e67615e1acc931e2f542b09f114ba30a97 (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=882905db28d022514cdffe47ba8153fffb05e9d5

commit 882905db28d022514cdffe47ba8153fffb05e9d5
Merge: ef5a30e 5d9a38b
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Aug 2 20:53:34 2018 +0300

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 doc/ChangeLog   |   4 +
 doc/gawk.info   | 866 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   4 +-
 doc/gawktexi.in |   4 +-
 4 files changed, 441 insertions(+), 437 deletions(-)


hooks/post-receive
-- 
gawk