On Wednesday 18 September 2013 11:08:53 Mike Evans wrote: > > Hi Geert > > Yep, I just applied the patch as is, I'll remove the comments. > > Mike Evans In retrospect this should have been a feedback for the patch submitter on bugzilla instead of you. But thanks anyway for taking care of it. Geert