Skip to content

Fix line numbers#493

Merged
NSoiffer merged 4 commits intodaisy:mainfrom
moritz-gross:fix-line-numbers
Mar 1, 2026
Merged

Fix line numbers#493
NSoiffer merged 4 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.

@NSoiffer NSoiffer merged commit dbe5cbd into daisy:main Mar 1, 2026
5 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