On Jul 15, 2010, at 9:27 PM, John Rose wrote: > I pushed an updated patch to get past the immediate bug and am looking more at the problem. Yes, that appears to fix it. -- John