-
Matthias Clasen authored
It is often difficult or impossible to get a suitable timestamp. Instead, we should do the right thing in the simpler API. See #6095
1cc99847
It is often difficult or impossible to get a suitable timestamp. Instead, we should do the right thing in the simpler API. See #6095