Skip to content

[ty] Fix outdated version in publish diagnostics after didChange#21943

Merged
MichaReiser merged 1 commit intomainfrom
micha/fix-outdated-publish-diagnostics-version
Dec 12, 2025
Merged

[ty] Fix outdated version in publish diagnostics after didChange#21943
MichaReiser merged 1 commit intomainfrom
micha/fix-outdated-publish-diagnostics-version

Commits

Commits on Dec 12, 2025