On Fri, Jul 6, 2012 at 5:28 PM, Martin Hurton <hurtonm at gmail.com> wrote: > Hi Sharon, what revision are you using? > Commit eb6c668c2ae961a4a53d11d81dd6d2df5bffa666 from Javier Lopez > already fixes that. :-) Lol, and my patch unfixes it. Will revert. -Pieter