Details
-
Bug
-
Status: Closed
-
Major - P3
-
Resolution: Works as Designed
-
3.5.3
-
None
-
None
-
Fully Compatible
-
ALL
-
Description
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?