Skip to content

unfinished-comments - Avoid repetition#8741

Merged
fregante merged 2 commits intomainfrom
unfinished-comments-pile-up
Nov 9, 2025
Merged

unfinished-comments - Avoid repetition#8741
fregante merged 2 commits intomainfrom
unfinished-comments-pile-up

Conversation

@fregante
Copy link
Member

@fregante fregante commented Nov 7, 2025

Test URLs

Here. The feature is broken on issues

@fregante fregante added the bug label Nov 7, 2025
@fregante fregante merged commit e237907 into main Nov 9, 2025
9 checks passed
@fregante fregante deleted the unfinished-comments-pile-up branch November 9, 2025 18:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Development

Successfully merging this pull request may close these issues.

1 participant