Skip to content

Better Missing Closing Comment handling#729

Merged
SimonCropp merged 1 commit intomainfrom
Better-Missing-Closing-Comment-handling
Jan 13, 2026
Merged

Better Missing Closing Comment handling#729
SimonCropp merged 1 commit intomainfrom
Better-Missing-Closing-Comment-handling

Commits

Commits on Jan 13, 2026