Skip to content

More easy narrowing of store getters - #1533

Merged
ysangkok merged 4 commits into
masterfrom
narrow-store-getters
Oct 20, 2026
Merged

More easy narrowing of store getters#1533
ysangkok merged 4 commits into
masterfrom
narrow-store-getters

Look up single candidates instead of the whole candidate index

6e8e104
Select commit
Loading
Failed to load commit list.
Mergify / Mergify Merge Queue completed Oct 19, 2026 in 0s

Merge queue is ready

This pull request can be added to the merge queue.

Use @Mergifyio queue or the Mergify dashboard to queue this pull request for merging.

View more details on Mergify