[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-3271-g5ff0c8c

[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  5ff0c8cd5bd07d03af406746e1012ffbf5ffb17a (commit)
       via  dc99abc9803ae1d6481eb2da77b6c67eb9d5880d (commit)
       via  de01864ccec043ee343de0e4ae17b6ccc27bd13c (commit)
       via  9d4eabdf68a3f251dcde079a8ff29ccf83fee122 (commit)
      from  4a4e94a4eb04cb8a57d54a357409da47821020ab (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=5ff0c8cd5bd07d03af406746e1012ffbf5ffb17a

commit 5ff0c8cd5bd07d03af406746e1012ffbf5ffb17a
Merge: 4a4e94a dc99abc
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Apr 18 12:45:43 2018 +0300

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 ChangeLog                      |  4 ++++
 config.sub                     | 10 +++++++---
 extension/build-aux/ChangeLog  |  4 ++++
 extension/build-aux/config.sub | 10 +++++++---
 pc/ChangeLog                   |  5 +++++
 pc/config.h                    |  2 +-
 pc/config.sed                  |  2 +-
 7 files changed, 29 insertions(+), 8 deletions(-)


hooks/post-receive
-- 
gawk