This repository has been archived by the owner on Oct 4, 2021. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #7283 from mono/backport-pr-7282-to-release-7.8
[release-7.8] Retrieve editor markup on the UI thread. Fixes F# tooltips.
- Loading branch information