Skip to content

[stable35] fix(comparison): make source line labels extractable - #9292

Merged
mejo- merged 1 commit into
stable35from
backport/9211/stable35
Sep 28, 2026
Merged

mejo- merged 1 commit into
stable35from
backport/9211/stable35

Conversation

@backportbot

@backportbot backportbot Bot commented Sep 28, 2026

Copy link
Copy Markdown

Backport of PR #9211

Assisted-by: Codex:gpt-6-astra
Signed-off-by: Hoang Pham <hoangmaths96@gmail.com>
@mejo-
mejo- merged commit aa7cfc9 into stable35 Sep 28, 2026
65 of 67 checks passed
@mejo-
mejo- deleted the backport/9211/stable35 branch September 28, 2026 15:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants