On 24/08/11 04:32, Bob Wilson wrote: > > On Aug 21, 2011, at 5:53 AM, Duncan Sands wrote: > >> Hi Bob, does the attached patch fix things for you? > > Yes, it looks good. Are you ready to commit it? Applied in commit 138429. Ciao, Duncan.