Skip to content
This repository has been archived by the owner on Oct 4, 2021. It is now read-only.

Retrieve editor markup on the UI thread. Fixes F# tooltips. #7282

Merged
merged 1 commit into from
Mar 4, 2019

Conversation

nosami
Copy link
Member

@nosami nosami commented Mar 1, 2019

Fixes VSTS #802684 (#7254)

@nosami
Copy link
Member Author

nosami commented Mar 1, 2019

@monojenkins backport release-7.8

@slluis slluis merged commit de1c2b7 into master Mar 4, 2019
@slluis slluis deleted the fix-802684 branch March 4, 2019 09:10
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.

4 participants