On Fri, 19 Oct 2018, Bernhard Reutner-Fischer wrote: > > right. Also "%d" ' 42' was moaning about the leading whitespace. > 3db4e7f84cf795de8559ea0d96eaa491999ccf24 > Thanks for mentioning! Thanks. -- Cristian