andrico pushed a change to branch consistent_rtree_box_order.
at 4b8f2d9 enforcing deterministic order of boxes in an R-tree by
introducing a pointer wrapper that compared the boxes based on id and not the
address.
This branch includes the following new commits:
new 4b8f2d9 enforcing deterministic order of boxes in an R-tree by
introducing a pointer wrapper that compared the boxes based on id and not the
address.
