On Sat, May 7, 2016 at 9:38 PM, Marco van de Voort <marcov at stack.nl> wrote: > svn blame points to r52209, Juha Oops, right. Fixed in r52287. Thanks for noticing. Juha