On 11.09.18 12:18, Jan Beulich wrote:
What other separator do you suggest? I consider it quite helpful
to have one when there are more than about 10 digits. (I'd also
be fine, btw, to have the time printed in decimal, but then
perhaps with ms granularity and 6 digits for the fractional part.)
Should we think about replacing PRI_stime?

--

*Andrii Anisov*



_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel

Reply via email to