feat: use GrantedRegion instead of region_ids#117
Merged
MichaelScofield merged 1 commit intoGreptimeTeam:mainfrom Nov 3, 2023
Merged
feat: use GrantedRegion instead of region_ids#117MichaelScofield merged 1 commit intoGreptimeTeam:mainfrom
MichaelScofield merged 1 commit intoGreptimeTeam:mainfrom
