Commit 13ebf7bdbc70a95c1405a03729176acae7623860

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.