Skip to content

[diffs] Fix gutter utility rendering quirk#729

Merged
amadeus merged 2 commits into
mainfrom
amadeus/fix-hover-line-bug
May 20, 2026
Merged

[diffs] Fix gutter utility rendering quirk#729
amadeus merged 2 commits into
mainfrom
amadeus/fix-hover-line-bug

Commits

Commits on May 20, 2026