Browse Source
We are only using the refile mechanism for convenience here, and not for actual refiling. The refile verification function is thus not relevant here. To take effect, we also have to ignore the cache, as it may hold precomputed targets that have used the refile verification function in a previous run.master
1 changed files with 20 additions and 17 deletions
Loading…
Reference in new issue