merge_tools: pass Matcher in for interactive use
#6516
| Job | Run time |
|---|---|
| 8m 41s | |
| 10m 31s | |
| 19m 12s |
Matcher in for interactive use
#6516
| Job | Run time |
|---|---|
| 8m 41s | |
| 10m 31s | |
| 19m 12s |