Skip to content

Fix NotebookSelector type - #1077

Merged
JoeRobich merged 1 commit into
OmniSharp:masterfrom
manandre:fix-notebook-selector
Oct 20, 2023
Merged

Fix NotebookSelector type#1077
JoeRobich merged 1 commit into
OmniSharp:masterfrom
manandre:fix-notebook-selector

Conversation

@manandre

@manandre manandre commented Oct 20, 2023

Copy link
Copy Markdown
Contributor

@manandre manandre mentioned this pull request Oct 20, 2023
Closed
@github-actions github-actions Bot added this to the v0.19.10 milestone Oct 20, 2023
JoeRobich
JoeRobich approved these changes Oct 20, 2023
View reviewed changes

@JoeRobich JoeRobich left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @manandre!

@JoeRobich
JoeRobich merged commit 249bdfe into OmniSharp:master Oct 20, 2023
@github-actions github-actions Bot added the mysterious We forgot to label this label Oct 20, 2023
@manandre
manandre deleted the fix-notebook-selector branch October 20, 2023 20:22
This was referenced Oct 7, 2026
Open
Open
Open
Merged
Merged
Closed
This was referenced Oct 14, 2026
Open
Closed
Merged
Open
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@JoeRobich JoeRobich JoeRobich approved these changes

Assignees

No one assigned

Labels

mysterious We forgot to label this

Projects

None yet

Milestone

v0.19.10

Development

Successfully merging this pull request may close these issues.

Notebook Document support is not implemented correctly

2 participants

@manandre @JoeRobich