Closed EricClaeys closed 3 years ago
@ckuethe This is a different PR. I closed the one that was based on old code. This one is based on the regex filtering change code.
this needs to be resynced with #66; there's a merge conflict
@ckuethe This is a different PR. I closed the one that was based on old code. This one is based on the regex filtering change code.