[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-3074-gdd25167

[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  dd2516767fa58d56684e003f646ef6d611051a64 (commit)
       via  0fca23de625d0643be52f7c70f7e117bce4cbfde (commit)
       via  c182937de92dc028a12a6c9350773dced1841751 (commit)
      from  bf8adb089c0dab26292ede736e74d1bb20d6dbc8 (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=dd2516767fa58d56684e003f646ef6d611051a64

commit dd2516767fa58d56684e003f646ef6d611051a64
Merge: bf8adb0 0fca23d
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Dec 29 12:57:40 2017 +0200

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 extension/ChangeLog    |  9 ++++++++-
 extension/configh.in   |  3 +++
 extension/configure    | 28 ++++++++++++++--------------
 extension/configure.ac |  4 ++--
 4 files changed, 27 insertions(+), 17 deletions(-)


hooks/post-receive
-- 
gawk