Skip to content

Fix missing case in isSubspace, which broke reachablility#18326

Merged
dwijnand merged 1 commit intoscala:mainfrom dwijnand:unreachable-single-childAug 3, 2023
+49-2

Commits

Commits on Aug 2, 2023