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