Ensure contained roots used before longer uncontained ones#1113
Merged
hcoles merged 2 commits intomasterfrom bug/fix_root_orderingNov 16, 2022
+54-5
Commits
Commits on Nov 15, 2022
- committed
Henry Coles
Commits on Nov 16, 2022
- committedHenry Coles