Skip to content

Update to FCS 43.12.400 - #319

Merged
nojaf merged 1 commit into
ionide:mainfrom
Numpsy:10400sdk
Sep 3, 2026
Merged

nojaf merged 1 commit into
ionide:mainfrom
Numpsy:10400sdk

Conversation

@Numpsy

@Numpsy Numpsy commented Aug 31, 2026

Copy link
Copy Markdown
Contributor

Supersedes #307 (43.12.204 and 43.10.400 both contain the same breaking API change where FSharpType.BasicQualifiedName is now an Option)

refs #311 which updates the whole thing to .NET 10 and the 10.0.400 SDK

@Numpsy
Numpsy marked this pull request as ready for review September 2, 2026 16:18
@nojaf

nojaf commented Sep 2, 2026

Copy link
Copy Markdown
Contributor

@Numpsy would you mind rebasing on the recent dotnet 10 changes?

Supersedes ionide#307 (43.12.204 and 43.10.400 both contain the same breaking API change where FSharpType.BasicQualifiedName is now an Option)

refs ionide#311 which updates the whole thing to .NET 10 and the 10.0.400 SDK
@Numpsy

Numpsy commented Sep 2, 2026

Copy link
Copy Markdown
Contributor Author

done

@nojaf nojaf left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Thank you!

@nojaf
nojaf merged commit b00e3f8 into ionide:main Sep 3, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants