Closed manuelma closed 7 months ago
In current master, if I apply a tool filter after the cache has been populated, I am likely to get the wrong result.
Doesn't affect 0.8-dev but I think it needs to be fixed in master.
In current master, if I apply a tool filter after the cache has been populated, I am likely to get the wrong result.
Doesn't affect 0.8-dev but I think it needs to be fixed in master.