Skip to content

fix: extract_hugr not removing root node ports#1239

Merged
aborgna-q merged 2 commits intomainfrom ab/fix-extract-hugrJun 28, 2024