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

Merged

davidwengier merged 1 commit intodotnet:mainfrom davidwengier:PreventRoslynNFW

Oct 19, 2023

+24-1

Commits on Oct 19, 2023

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