Commit 79864180 authored by klafyvel's avatar klafyvel

Merge branch 'pseudo_insensitive' into 'dev'

Case insensitive search

See merge request federez/re2o!390
parents 7da4021a dc83766b
Pipeline #935 failed with stage