DiffGraph: allow simultaneous edge and node removal#347

mpollmeier merged 1 commit intomasterjoernio/flatgraph:masterfrom

michael/remove-edge-and-node-simultaneouslyjoernio/flatgraph:michael/remove-edge-and-node-simultaneouslyCopy head branch name to clipboard