Skip to content

tweak lazy encoding#4384

Merged
bobzhang merged 2 commits intomasterfrom
tweak_lazy_encoding
May 14, 2020
Merged

tweak lazy encoding#4384
bobzhang merged 2 commits intomasterfrom
tweak_lazy_encoding

Conversation

@bobzhang
Copy link
Member

@bobzhang bobzhang commented May 14, 2020

change {RE_LAZY: 'done'} into {RE_LAZY_DONE: true}

@bobzhang bobzhang merged commit 6b1af98 into master May 14, 2020
@bobzhang bobzhang deleted the tweak_lazy_encoding branch May 14, 2020 06:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant