mirror of
https://github.com/EduApps-CDG/OpenDX
synced 2024-12-30 09:45:37 +01:00
Not needed anymore because the pipe manager itself won't be accessed by multiple threads any longer.
Not needed anymore because the pipe manager itself won't be accessed by multiple threads any longer.