Skip to content

Bugfix/add ignore case option for string filters#1032

Merged
adrianmroz-allegro merged 13 commits intomasterfrom bugfix/add-ignore-case-option-for-string-filtersFeb 13, 2023

Commits

Commits on Feb 8, 2023

Commits on Feb 9, 2023