On Tue, Aug 7, 2012 at 1:54 PM, Steven Bosscher <stevenb....@gmail.com> wrote: > Hello, > > This patch fixes PR54150. The patch was approved by Richi in Bugzilla, > but I won't commit this for a few days so that others can speak up if > they don't agree. > > Ciao! > Steven
OK. Thanks for the cleanup! -- Gaby