Skip to content

Fix line numbers#493

Open
moritz-gross wants to merge 3 commits intodaisy:mainfrom
moritz-gross:fix-line-numbers
Open

Fix line numbers#493
moritz-gross wants to merge 3 commits intodaisy:mainfrom
moritz-gross:fix-line-numbers

Conversation

@moritz-gross
Copy link
Contributor

implements a request to report line number where rules diverge not for the beginning of the rule, but closer to the actual point of divergence, to make it easier to find the relevant parts.

@moritz-gross
Copy link
Contributor Author

moritz-gross commented Feb 18, 2026

CI fails due to src/prefs.rs:508:5

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.

1 participant