Skip to content

Conversation

@kzu
Copy link
Contributor

@kzu kzu commented Jun 12, 2020

The mentioned PR has been merged a long time ago and we're
already using a newer version that includes that fix.

@kzu kzu requested a review from a team as a code owner June 12, 2020 09:37
@jinujoseph jinujoseph added Area-IDE Community The pull request was submitted by a contributor who is not a Microsoft employee. labels Jun 13, 2020
@kzu kzu force-pushed the arcadesdk-cleanup branch from b3cb950 to c5f6c86 Compare June 19, 2020 22:26
The mentioned PR has been merged a long time ago and we're
already using a newer version that includes that fix.
@kzu kzu force-pushed the arcadesdk-cleanup branch from c5f6c86 to 34bfb7b Compare June 19, 2020 22:27
Base automatically changed from master to main March 3, 2021 23:52
@tmat tmat enabled auto-merge (squash) January 10, 2022 00:31
@tmat tmat merged commit 8bce827 into dotnet:main Jan 10, 2022
@ghost ghost added this to the Next milestone Jan 10, 2022
@RikkiGibson RikkiGibson modified the milestones: Next, 17.2.P1 Feb 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-IDE Community The pull request was submitted by a contributor who is not a Microsoft employee.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants