Repository navigation
Don't comment on a stale range when the selection is in a widget - #3
Closed
petergaultney wants to merge 2 commits into
Closed
petergaultney wants to merge 2 commits into
petergaultney wants to merge 2 commits into
Commits
Commits on Aug 17, 2026