Skip to content

Add endIndex when reporting issues#341

Merged
BPScott merged 2 commits intomainfrom
use-end-index
Nov 24, 2023
Merged

Add endIndex when reporting issues#341
BPScott merged 2 commits intomainfrom
use-end-index

Conversation

@BPScott
Copy link
Copy Markdown
Member

@BPScott BPScott commented Nov 24, 2023

This allows formatters and editor plugins to show the range of problematic code

This allows formatters and editor plugins to show the range of
problematic code
@BPScott BPScott merged commit 6a84b5e into main Nov 24, 2023
@BPScott BPScott deleted the use-end-index branch November 24, 2023 07:24
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