Skip to content

Fix History::load#412

Merged
gwenn merged 4 commits intokkawakam:masterfrom
gwenn:escape_history_fix
Jul 6, 2020
Merged

Fix History::load#412
gwenn merged 4 commits intokkawakam:masterfrom
gwenn:escape_history_fix

Conversation

@gwenn
Copy link
Copy Markdown
Collaborator

@gwenn gwenn commented Jun 30, 2020

gwenn added 3 commits June 30, 2020 18:57
No copy.
Single pass.
No copy if no escaped char, single copy otherwise.
Single pass.
@fdncred
Copy link
Copy Markdown

fdncred commented Jun 30, 2020

Great! it'll be nice to have this in our next release. Thanks @gwenn!

@gwenn gwenn merged commit 7fe1925 into kkawakam:master Jul 6, 2020
@gwenn gwenn deleted the escape_history_fix branch July 6, 2020 17:45
gwenn added a commit that referenced this pull request Sep 13, 2020
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.

2 participants