range-diff: introduce the convenience option --remerge-diff
#1881
| Job | Run time |
|---|---|
| 6s | |
| 0s | |
| 1s | |
| 2s | |
| 1s | |
| 3m 38s | |
| 11s | |
| 16s | |
| 8m 46s | |
| 13s | |
| 12s | |
| 0s | |
| 10s | |
| 9m 4s | |
| 9s | |
| 31m 53s | |
| 24m 50s | |
| 3m 10s | |
| 5m 51s | |
| 4m 51s | |
| 0s | |
| 1h 33m 24s |