Renames shared_mutex to shared_timed_mutex to leave room for an untimed version. Merged with LWG2288 (SG1 Motion 2): shared_mutex renamed to shared_timed_mutex where LWG2288 added it..
Renames shared_mutex to shared_timed_mutex to leave room for an untimed version. Merged with LWG2288 (SG1 Motion 2): shared_mutex renamed to shared_timed_mutex where LWG2288 added it..