gdk
|
e35dc08fc4
|
Rewrite PlaceholderManager4KB to use intrusive RBTree, and to coalesce free placeholders
Also make the other placeholder manager use intrusive RBTree, allows the IntervalTree that was added just for this to be deleted
|
2022-09-10 16:23:49 +02:00 |
|