Skip to content

Replace manual filtering with Subgraph in toposort

vlorentz requested to merge subgraph-toposort into master

This is simpler and less error-prone

Merge request reports