Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Bugfix/betterem smart #1429

Merged
merged 3 commits into from Aug 25, 2021
Merged

Bugfix/betterem smart #1429

merged 3 commits into from Aug 25, 2021

Conversation

facelessuser
Copy link
Owner

Fixes #1413

@gir-bot gir-bot added S: needs-review Needs to be reviewed and/or approved. C: caret Related to the caret extension. C: source Related to source code. C: tests Related to testing. C: tilde Related to the tilde extension. C: docs Related to documentation. labels Aug 25, 2021
@facelessuser
Copy link
Owner Author

@gir-bot lgtm

@gir-bot gir-bot added S: approved The pull request is ready to be merged. and removed S: needs-review Needs to be reviewed and/or approved. labels Aug 25, 2021
@facelessuser facelessuser merged commit 2b64ad4 into main Aug 25, 2021
@facelessuser facelessuser deleted the bugfix/betterem-smart branch August 25, 2021 15:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
C: caret Related to the caret extension. C: docs Related to documentation. C: source Related to source code. C: tests Related to testing. C: tilde Related to the tilde extension. S: approved The pull request is ready to be merged.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Fix some complex smart cases in betterem
2 participants
@facelessuser @gir-bot