[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-3313-gb8213e3

[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  b8213e3abbd39a851b1510b39b7155b022b02d99 (commit)
       via  969b7e5eb2cd376fa074d713fd81b647907544e2 (commit)
       via  17453df8b1ba435161b29ca7e8cf266d0fbaf4ac (commit)
      from  25b0b016e33315857b299fbacf7c17e3d35a9e4f (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=b8213e3abbd39a851b1510b39b7155b022b02d99

commit b8213e3abbd39a851b1510b39b7155b022b02d99
Merge: 25b0b01 969b7e5
Author: Arnold D. Robbins <address@hidden>
Date:   Mon May 28 10:46:40 2018 +0300

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 doc/ChangeLog |  5 +++++
 doc/gawk.1    | 10 +++++-----
 2 files changed, 10 insertions(+), 5 deletions(-)


hooks/post-receive
-- 
gawk