Ori Newman 190e725dd0
Optimize expected header pruning point (#1962)
* Use the correct heuristic to avoid checking for next pruning point movement when not needed
2022-03-07 00:16:29 +02:00
..
2021-01-27 17:09:20 +02:00
2022-02-20 16:52:36 +02:00
2021-06-15 17:47:17 +03:00
2022-02-20 16:52:36 +02:00