Skip to content

Conversation

@hermannloose
Copy link
Contributor

These were apparently copy-pasted from resolvedCommentBorder and unresolvedCommentBorder. I assume they should be different, but I am not sure if there is some specific pattern to follow for naming.

@alexr00 alexr00 added this to the May 2023 milestone May 9, 2023
Copy link
Member

@alexr00 alexr00 left a comment

Choose a reason for hiding this comment

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

Thanks for the fix!

@alexr00 alexr00 enabled auto-merge (squash) May 9, 2023 10:27
@hermannloose
Copy link
Contributor Author

@alexr00 one of the tests appears to have timed out, but I cannot re-launch that from my end it seems.

@hermannloose hermannloose requested a review from alexr00 May 11, 2023 09:50
@alexr00 alexr00 merged commit ad91a63 into microsoft:main May 11, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Jun 25, 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.

3 participants