Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Making merged filters short-circuit #1350
This brings the behaviour back pre-datafilters.
Code looks good to me.
However we do need to decide what we want to happen.
I'd say that
Good idea about adding it to documentation. Maybe even adding a note directly in Filters.regex would be a good idea?