On 22 Nov 2011, at 14:00, Michael Butler wrote: > On 11/22/11 08:52, David Chisnall wrote: >> Please can you try this patch? ... > That works :-) > > Thanks! Fixed in head (r227818), thanks for the report! David