Skip to content

fix: rename 'OptionFilter' -> 'optionFilter' - #190

Merged
laurentC35 merged 1 commit into
mainfrom
fix/option-filter-rename
Apr 23, 2026
Merged

fix: rename 'OptionFilter' -> 'optionFilter'#190
laurentC35 merged 1 commit into
mainfrom
fix/option-filter-rename

Commits

Commits on Apr 22, 2026