Hi,

I applied the patch and pushed commit
0d169401cbc9e1a418290d4d6cb03dac8babcde3.

-- 
Ricardo



Reply via email to