Fix non-deterministic redundancy check for space view spawning heuristic#5266

Merged

Wumpf merged 2 commits intomainfrom andreas/fix-redundant-space-view-handling

Feb 26, 2024

+64-37

Commits on Feb 23, 2024

Fix indeterministic space view redundancy handling
Wumpf
committed

Commits on Feb 26, 2024

comment typo fix
Wumpf
authored