[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-3203-g3a28e7e

[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  3a28e7e5a0dfbd3367712a28c205f318c5312c25 (commit)
       via  bca83b23524cc30860563f4b3872c8427e55ab8c (commit)
      from  f59e5b3ed70fb01b00e41c8a066bfc5965c85acb (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=3a28e7e5a0dfbd3367712a28c205f318c5312c25

commit 3a28e7e5a0dfbd3367712a28c205f318c5312c25
Merge: f59e5b3 bca83b2
Author: Arnold D. Robbins <address@hidden>
Date:   Sat Feb 17 21:51:45 2018 +0200

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 12 ++++++------
 2 files changed, 10 insertions(+), 6 deletions(-)


hooks/post-receive
-- 
gawk