Skip to content

fix: remove application of user preferences in indexer-selection#393

Merged
Theodus merged 1 commit intomainfrom theodus/user-preferencesSep 18, 2023

Commits

Commits on Sep 14, 2023