Skip to content

Conversation

@Kalmaegi
Copy link
Contributor

@Kalmaegi Kalmaegi commented Aug 4, 2023

Fixes #186406

@hediet hediet added this to the August 2023 milestone Aug 10, 2023
hediet
hediet previously approved these changes Aug 10, 2023
Copy link
Member

@jrieken jrieken left a comment

Choose a reason for hiding this comment

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

@hedit left some nit comment

@hediet hediet enabled auto-merge August 28, 2023 10:21
@hediet hediet merged commit 92f5303 into microsoft:main Aug 28, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Oct 13, 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.

Let me click on "hidden lines" text to unfold

6 participants