On 15 Sep 2010, at 6:35PM, Jonathan Pryor wrote: > I committed a workaround for this in commit 8cdb685. Could you see if > that works for you? Hi Jon Unfortunately I still get the exact same crash with today's git head. - Dick