Skip to content

Comments

Fix end position of comments and pragmas#113

Merged
klauer merged 4 commits intomasterfrom
fix-end-position-of-comments-and-pragmas
Jul 10, 2025
Merged

Fix end position of comments and pragmas#113
klauer merged 4 commits intomasterfrom
fix-end-position-of-comments-and-pragmas

Conversation

@klauer
Copy link
Owner

@klauer klauer commented Jul 10, 2025

(Builds on #110 ; I needed to fix the CI and add @alajovic's test case to the suite)

@klauer klauer merged commit c8adbe8 into master Jul 10, 2025
38 checks passed
@klauer klauer deleted the fix-end-position-of-comments-and-pragmas branch July 10, 2025 01:07
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