Skip to content

Conversation

@walborn
Copy link
Contributor

@walborn walborn commented Jun 18, 2024

  1. handled with undefined value of row and column in issue position
  2. removed 'file' heritage

@walborn walborn requested a review from Raubzeug June 18, 2024 09:09
@walborn walborn merged commit 2cb27c5 into main Jun 18, 2024
@walborn walborn deleted the fix/issue-position-918 branch June 18, 2024 12:27
@walborn
Copy link
Contributor Author

walborn commented Jun 18, 2024

closes #918

@sareyu sareyu linked an issue Jun 20, 2024 that may be closed by this pull request
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.

3 participants