Skip to content

Conversation

@cristianosuzuki77
Copy link
Contributor

No description provided.

@wli3
Copy link

wli3 commented Jul 9, 2020

@cartermp could you help me merge it and make sure it will be part of a later insertion to 16.7?

@cartermp cartermp merged commit 709be55 into dotnet:release/dev16.7 Jul 9, 2020
@cartermp
Copy link
Contributor

cartermp commented Jul 9, 2020

cc @brettfo @jonsequitur

This is now merged, but I'm not sure how this finds its way into VS

@wli3
Copy link

wli3 commented Jul 10, 2020

@brettfo @jonsequitur ?

@brettfo
Copy link
Member

brettfo commented Jul 10, 2020

Created #9673 which will ensure it gets into VS.

nosami pushed a commit to xamarin/visualfsharp that referenced this pull request Feb 23, 2021
Co-authored-by: Cristiano Suzuki <crsuzuki@microsoft.com>
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