Skip to content

[email protected] - consistent overview ruler height#150566

Merged
Tyriar merged 1 commit intomainfrom
tyriar/148138
May 27, 2022
Merged

[email protected] - consistent overview ruler height#150566
Tyriar merged 1 commit intomainfrom
tyriar/148138

Conversation

@Tyriar
Copy link
Copy Markdown
Contributor

@Tyriar Tyriar commented May 27, 2022

Fixes #148138

@Tyriar Tyriar added this to the May 2022 milestone May 27, 2022
@Tyriar Tyriar self-assigned this May 27, 2022
@Tyriar Tyriar enabled auto-merge May 27, 2022 20:02
@Tyriar Tyriar merged commit 3ef7e28 into main May 27, 2022
@Tyriar Tyriar deleted the tyriar/148138 branch May 27, 2022 22:00
@github-actions github-actions bot locked and limited conversation to collaborators Jul 11, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Find ocurrences incorectly rendered in terminal scroll bar

2 participants