-
Kilian Weishaupt authored
[bugfix][cc][scv] Replace optional by unique_ptr Closes #930 See merge request !2307 (cherry picked from commit 906b029e) 1ef4d5cf [bugfix][cc][scv] Replace optional by unique_ptr
11c1c92b
[bugfix][cc][scv] Replace optional by unique_ptr Closes #930 See merge request !2307 (cherry picked from commit 906b029e) 1ef4d5cf [bugfix][cc][scv] Replace optional by unique_ptr