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.

Sign up for GitHub

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

Jump to bottom

Don't report that we're synchronized if the line count is wrong #6580

Merged

davidwengier merged 1 commit into dotnet:main from davidwengier:PreventError

Oct 23, 2023

Contributor

davidwengier commented Oct 22, 2023

VS Code port of dotnet/razor#9437
Works around dotnet/razor#9197
Fixes dotnet/razor#9441


          Don't report that we're synchronized if the line count is wrong

4e0239e

davidwengier requested a review from a team as a code owner

October 22, 2023 23:10

ryzngard approved these changes

View reviewed changes

davidwengier merged commit e336406 into dotnet:main

9 checks passed

davidwengier deleted the PreventError branch

October 23, 2023 02:23

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment