On Thursday 19 May 2011 15:28:52, Hui Zhu wrote: > Thanks for your help, Pedro. > > Do you think this patch is OK with 7.3? Sure. Do you have a case where it makes a noticeable difference? -- Pedro Alves