On Thu, May 31, 2018 at 10:03:28AM +0200, David Marchand wrote:

Rather than copy the string, we can use a precision in the format string
given to printf.

Signed-off-by: David Marchand <redacted>

Acked-by: Olivier Matz <redacted>