The text 9d80ced50bd8, as Debian 9 (Stretch) shipped it.
class time_get_byname [22.2.5.2].
std::time_get_byname(3cxx) on Linux now
