Skip to content
This repository was archived by the owner on Dec 23, 2024. It is now read-only.

Fix OptionsPanel leaks and API change #19

Merged
merged 1 commit into from
Nov 2, 2021

Conversation

Therzok
Copy link

@Therzok Therzok commented Nov 2, 2021

No description provided.

@nosami nosami merged commit 9a25eda into fsharp-editor Nov 2, 2021
@nosami nosami deleted the dev/therzok/options-dialog-leaks branch November 2, 2021 13:34
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.

2 participants