[gawk-diffs] [SCM] gawk branch, feature/fix-comments, updated. gawk-4.1.0-3512-g2496579

[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  249657989189d3c6a79ab6b1a2990450e7898381 (commit)
       via  b4610675489b3cb1bbce547846dbdcd0263227bf (commit)
       via  ba62ad36edf69ede39194e7e970a3edc1cbe9b47 (commit)
       via  efdaab840d12c04458291a7618d74347a5a7c084 (commit)
       via  6895ebddd274d1c9470e6e8b3191f206dddc4e77 (commit)
       via  37c77a1a7bf4daa2a334e85d741e80c386405cbb (commit)
       via  e51d28d269bca3bd996ee3ccc5928d6e317f060f (commit)
      from  a4ebe81f4db69fba0003f1b2b2d3b0467e302fb4 (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=249657989189d3c6a79ab6b1a2990450e7898381

commit 249657989189d3c6a79ab6b1a2990450e7898381
Merge: a4ebe81 b461067
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Oct 31 21:56:21 2018 +0200

    Merge branch 'master' into feature/fix-comments


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

Summary of changes:
 support/ChangeLog |   8 ++
 support/dfa.c     | 400 ++++++++++++++++++++++++++++++++++--------------------
 2 files changed, 258 insertions(+), 150 deletions(-)


hooks/post-receive
-- 
gawk