[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-3018-gcedf898

[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  cedf898bfd8d45a028d087a512fe7c1c789ee6dc (commit)
       via  1212cdf9eecdec794f2bd608165762a8b2d59ffb (commit)
       via  03caf83ac9d2862ca72daa5d18f2af27d68db1d4 (commit)
      from  152dbfa7b8b695112d9e02be8ba99ef3b8aa75a0 (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=cedf898bfd8d45a028d087a512fe7c1c789ee6dc

commit cedf898bfd8d45a028d087a512fe7c1c789ee6dc
Merge: 152dbfa 1212cdf
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Nov 24 13:40:17 2017 +0200

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 doc/ChangeLog         |  5 +++++
 doc/gawkworkflow.info | 36 ++++++++++++++++++------------------
 doc/gawkworkflow.texi |  6 +++---
 3 files changed, 26 insertions(+), 21 deletions(-)


hooks/post-receive
-- 
gawk