[gawk-diffs] [SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-3987-g2ebd8d0

[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/memory-work has been updated
       via  2ebd8d0094f785e9091522d362c9659641bcf36a (commit)
       via  92d7c72c7e36c10f1274c79ed539490e6724feea (commit)
       via  db47960210d3c56465b3658152f6c7981f6b5f82 (commit)
      from  02cfe7c7593fded94d3a7a75a34ff046139b97df (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=2ebd8d0094f785e9091522d362c9659641bcf36a

commit 2ebd8d0094f785e9091522d362c9659641bcf36a
Merge: 02cfe7c 92d7c72
Author: Arnold D. Robbins <address@hidden>
Date:   Sat Dec 15 22:12:24 2018 +0200

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 support/ChangeLog |  4 ++++
 support/dfa.c     | 16 ++++++++--------
 support/dfa.h     |  2 +-
 3 files changed, 13 insertions(+), 9 deletions(-)


hooks/post-receive
-- 
gawk