Commit 4ed9e939e2e44d202799b2562ac95eb9da5689e3

Carlos Martín Nieto 2016-03-20T12:01:45

tree: store the entries in a growable array Take advantage of the constant size of tree-owned arrays and store them in an array instead of a pool. This still lets us free them all at once but lets the system allocator do the work of fitting them in.