-
Type: Bug
-
Resolution: Works as Designed
-
Priority: Major - P3
-
None
-
Affects Version/s: 3.5.3
-
Component/s: Concurrency, Portability
-
None
-
Fully Compatible
-
ALL
-
Since we no longer build with Gcc <4.9, there is apparently, at least by the comment in stdx/mutex.h, no longer a reason to ban std::timed_mutex.
Is there any reason to retain stdx/mutex.h at all? Or should uses be changed back to <mutex> and std::mutex?