[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-3725-gb5cb0d8

[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, master has been updated
       via  b5cb0d8ecb93f55d82da15dc8092c001e70fd016 (commit)
       via  d69cb2dbf5d1a4bc524a4da3302f2239fc422165 (commit)
       via  e7f0afcf121658de68b3c5083778222c61f04782 (commit)
      from  6a221b414087f0cf397b9f22a70c8b75b423d72b (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=b5cb0d8ecb93f55d82da15dc8092c001e70fd016

commit b5cb0d8ecb93f55d82da15dc8092c001e70fd016
Merge: 6a221b4 d69cb2d
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Apr 23 11:04:35 2019 +0300

    Merge branch 'gawk-5.0-stable'


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

Summary of changes:
 ChangeLog                      |  4 ++++
 config.sub                     |  5 +++--
 extension/build-aux/ChangeLog  |  4 ++++
 extension/build-aux/config.sub |  5 +++--
 support/ChangeLog              |  4 ++++
 support/regcomp.c              | 16 ++--------------
 support/regex_internal.h       | 22 ----------------------
 7 files changed, 20 insertions(+), 40 deletions(-)


hooks/post-receive
-- 
gawk