Skip to content

Inline pattern enhancements#1858

Merged
facelessuser merged 1 commit intomainfrom
bugfix/inline-improvments
Nov 20, 2022
Merged

Inline pattern enhancements#1858
facelessuser merged 1 commit intomainfrom
bugfix/inline-improvments

Conversation

@facelessuser
Copy link
Owner

@facelessuser facelessuser commented Nov 15, 2022

No description provided.

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

facelessuser commented Nov 20, 2022

@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 Nov 20, 2022
@facelessuser facelessuser merged commit a2fff6e into main Nov 20, 2022
@facelessuser facelessuser deleted the bugfix/inline-improvments branch November 20, 2022 15:54
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: mark Related to the mark extension. 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.

2 participants

@facelessuser @gir-bot