follow up to !3744
- Oct 25, 2022
-
-
Gerhard Raven authored
- avoid spurious copies - avoid more complicated data structures than actually needed - avoid spurious loops
-
- avoid spurious copies - avoid more complicated data structures than actually needed - avoid spurious loops