-
Mikaël Salson authored
This reverts commit 9738069a as promised in this commit: this doesn't make sense anymore with the new heuristic.
0a73d0ad
This reverts commit 9738069a as promised in this commit: this doesn't make sense anymore with the new heuristic.