The text 0288922ffdd9, as Debian 10 (Buster) shipped it.
The standard shared timed mutex type.
std::shared_timed_mutex(3cxx) on Linux now
