Skip to content

jump-to-change-requested-comment - Drop feature#9385

Merged
fregante merged 1 commit into
mainfrom
jump-to-change-requested-comment
May 9, 2026
Merged

jump-to-change-requested-comment - Drop feature#9385
fregante merged 1 commit into
mainfrom
jump-to-change-requested-comment

Conversation

@fregante
Copy link
Copy Markdown
Member

@fregante fregante commented May 8, 2026

The feature is broken and it cannot be (easily) restored, there's no link to the review like there used to be.

Part of

@fregante fregante merged commit 5a383f8 into main May 9, 2026
12 checks passed
@fregante fregante deleted the jump-to-change-requested-comment branch May 9, 2026 10:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

1 participant