Closed dra27 closed 5 months ago
Opened as a reminder for when https://github.com/backtracking/ocamlgraph/issues/140 is resolved
just FWIW, the above linked issue has been resolved. So maybe this PR is good to be merged?
Opened as a reminder for when https://github.com/backtracking/ocamlgraph/issues/140 is resolved