Skip to content

Time control is now behind a RwLock, making recording config access non-mutable everywhere#4389

Merged
Wumpf merged 4 commits intomainfrom andreas/non-mut-rec_cfgNov 30, 2023