[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-3468-g40ac8fe

[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  40ac8fe8a7ee533b680e8b5f3828c6346d675096 (commit)
       via  70bdd31d0c6e85ca9cd37818aaa8f368a8397926 (commit)
       via  03cca4ddb49355fffb487b2b1dee3fc5859027f7 (commit)
      from  43acbfb0d399a7506771615884126dd2a791f7e4 (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=40ac8fe8a7ee533b680e8b5f3828c6346d675096

commit 40ac8fe8a7ee533b680e8b5f3828c6346d675096
Merge: 43acbfb 70bdd31
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Oct 3 05:41:40 2018 +0300

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 missing_d/ChangeLog  |   5 +
 missing_d/intprops.h | 455 ---------------------------------------------------
 missing_d/verify.h   | 285 --------------------------------
 3 files changed, 5 insertions(+), 740 deletions(-)
 delete mode 100644 missing_d/intprops.h
 delete mode 100644 missing_d/verify.h


hooks/post-receive
-- 
gawk