[SCM] gawk branch, feature/memory-work, updated. gawk-4.1.0-4685-gef475e6

[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  ef475e6eb264226e5b10b138290e1550fc2f3cb0 (commit)
       via  4964fa6b821bc7e6c9214019e24955169fd7d3be (commit)
       via  6922f06b21ad10c5bfd07ae22d149f700f761a67 (commit)
      from  c2f7a3c734683c4bf8990147306e20caec4ed394 (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=ef475e6eb264226e5b10b138290e1550fc2f3cb0

commit ef475e6eb264226e5b10b138290e1550fc2f3cb0
Merge: c2f7a3c 4964fa6
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jul 29 15:57:11 2020 +0300

    Merge branch 'master' into feature/memory-work


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

Summary of changes:
 ChangeLog         | 4 ++++
 custom.h          | 1 +
 support/ChangeLog | 4 ++++
 support/dfa.h     | 2 +-
 4 files changed, 10 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk