[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-3292-g50a9099

[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  50a9099f5947a2326e250558622054fe490754b7 (commit)
       via  a395c25fa379973b5ca300c4b8b4b4426412882b (commit)
       via  84d5de360049081bb12d4edaf2377dcccfa5ad95 (commit)
       via  650d092e3a44122768055580009190953fba7f68 (commit)
      from  affc8d2a0b056aa2355f9c1faf393680d8e9867e (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=50a9099f5947a2326e250558622054fe490754b7

commit 50a9099f5947a2326e250558622054fe490754b7
Merge: affc8d2 a395c25
Author: Arnold D. Robbins <address@hidden>
Date:   Sun May 13 22:36:41 2018 -0400

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 ChangeLog                      |   4 +
 config.sub                     |  74 +++--
 doc/ChangeLog                  |   7 +-
 doc/gawk.info                  | 630 ++++++++++++++++++++---------------------
 doc/gawk.texi                  |   2 +-
 doc/gawktexi.in                |   2 +-
 extension/build-aux/ChangeLog  |   4 +
 extension/build-aux/config.sub |  74 +++--
 8 files changed, 429 insertions(+), 368 deletions(-)


hooks/post-receive
-- 
gawk