You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Apr 28, 2023. It is now read-only.
activeDomainPoints: do not take into account mapping filters
In a subsequent commit, mapping filters will no longer be considered
to be filters. Change activeDomainPoints first to isolate the effect
of this change on activeDomainPoints.
There are many calls to activeDomainPoints, so it's not trivial
to verify that not including mapping filters is always the right
thing to do. However, the included mapping filters are usually
seen as a nuisance and if they are really needed in some cases
then it's better to take them into account explicitly
in those particular cases.
0 commit comments