On Tuesday 22 October 2013 21:04:18 Christian Stimming wrote: > Hi Geert, > > oops, I'm sorry to not speak up earlier, but I thought this patch > might not be taken as-is. I'll reply in the separate -devel thread. > > Christian No problem. I have reverted the patch. Geert