Hello,

Neil Jerram <[email protected]> writes:

> I believe the attached patch fixes those problems.

Applied. Thank you!

Regards,

-- 
Nicolas Goaziou

Reply via email to