Skip to content

Conversation

@dotnet-bot
Copy link
Contributor

No description provided.

@benvillalobos
Copy link
Member

This PR looks identical to #6644 which was merged recently. These extra PR's should be closed right?

@Forgind
Copy link
Contributor

Forgind commented Jul 5, 2021

I hadn't seen that an identical one had already been merged, but you're right—the open ones look very similar to each other. Closing sounds reasonable to me.

@Forgind Forgind closed this Jul 5, 2021
@rainersigwald rainersigwald deleted the locfiles/90ffabb3-0bd5-4b78-9746-1cfb2ef3e39b branch November 29, 2021 17:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants