Skip to content

Conversation

@timar07
Copy link
Contributor

@timar07 timar07 commented Jul 24, 2023

fix #169162

@timar07
Copy link
Contributor Author

timar07 commented Jul 24, 2023

@microsoft-github-policy-service agree

Copy link
Member

@Tyriar Tyriar left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Works great 👍

@Tyriar Tyriar enabled auto-merge August 5, 2023 13:37
@Tyriar Tyriar merged commit 850c1dd into microsoft:main Aug 7, 2023
@timar07 timar07 deleted the fix-xterm-quickfix-position branch August 7, 2023 18:01
@github-actions github-actions bot locked and limited conversation to collaborators Sep 21, 2023
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.

action widget appears in wrong spot

4 participants