Skip to content

Minimal readline support if replxx was not enabled.#8732

Merged
alexey-milovidov merged 4 commits intomasterfrom
minimal-readline-support
Jan 20, 2020
Merged

Minimal readline support if replxx was not enabled.#8732
alexey-milovidov merged 4 commits intomasterfrom
minimal-readline-support

Conversation

@alexey-milovidov
Copy link
Copy Markdown
Member

Changelog category (leave one):

  • Improvement

Changelog entry (up to few sentences, required except for Non-significant/Documentation categories):
Do not include in changelog.

@alexey-milovidov alexey-milovidov merged commit 33e6593 into master Jan 20, 2020
@alesapin alesapin added the pr-improvement Pull request with some product improvements label Jan 21, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-improvement Pull request with some product improvements

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants