Skip to content

Remove sorted list of nodes from graph output

vlorentz requested to merge rm-nodes into master

It is only useful while compressing the graph, before the MAPS step, but wastes >700GB of space.

cc @zack

Merge request reports