> I applied a fix for that on 7/24 and it's in devel branch commit

Oh ... I hadn't realised you had already applied a fix.

Thanks.

Earl

Reply via email to