Skip to content

feat: expose range_to_region from public API - #3052

Merged
rchl merged 1 commit into
mainfrom
feat/range_to_region
Oct 8, 2026
Merged

rchl merged 1 commit into
mainfrom
feat/range_to_region

Conversation

@rchl

@rchl rchl commented Oct 4, 2026 •

Copy link
Copy Markdown
Member

Follow up to #2910

there are 3 users of this helper

@rchl

rchl commented Oct 8, 2026

Copy link
Copy Markdown
Member Author

Passes tests and is an addition so taking liberty to merge.

@rchl
rchl merged commit 558221d into main Oct 8, 2026
9 checks passed
@rchl
rchl deleted the feat/range_to_region branch October 8, 2026 18:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant