On Saturday, 18 May 2019 at 00:17:20 UTC, kdevel wrote:
Why not simply 17.5531 ms ("%.4f ms") to get rid of the non-ASCII µ prefix?

fwiw I like this solution for the output. It is very clear to me.

Reply via email to