Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update with the 3.17 spec changes #1019

Merged
merged 11 commits into from
Sep 15, 2023
Merged

Conversation

JoeRobich
Copy link
Member

@JoeRobich JoeRobich commented Sep 14, 2023

This PR applies the remaining 3.17 updates.

Local builds pass O# LSP tests.

@github-actions github-actions bot added this to the v0.19.8 milestone Sep 14, 2023
@JoeRobich JoeRobich changed the base branch from feature/3.17 to master September 15, 2023 16:25
@JoeRobich JoeRobich changed the title Update the 3.17 branch Update with the 3.17 spec changes Sep 15, 2023
@JoeRobich JoeRobich merged commit dbd1178 into OmniSharp:master Sep 15, 2023
12 checks passed
@github-actions github-actions bot added the mysterious We forgot to label this label Sep 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
mysterious We forgot to label this
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants