>
> I think %d is fine and correct here too.
>
> -- 
> Kind regards,
> Hiltjo

Indeed. I was wondering about this since it looks inconsistent to me.
But to be fair, in reality this will probably never be problem.

--
Best Regards,
Tom Schwindl

Reply via email to