Skip to content

Revert "Merge branch '4383-limit-tree-pruning-overhead' into 'v9.19.20-release'"

Ondřej Surý requested to merge 4383-limit-tree-pruning-overhead-v2 into main

This reverts commit 07dce62d, reversing changes made to cddf3b26.

Closes #4383 (closed)

Merge request reports